johnynek / bosatsu

A python-ish pure and total functional programming language
Apache License 2.0
223 stars 11 forks source link

Add Sub example of Liskov substitution #1090

Closed johnynek closed 7 months ago

codecov-commenter commented 7 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (e2effca) 92.28% compared to head (3b9a416) 92.34%.

:exclamation: Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #1090 +/- ## ========================================== + Coverage 92.28% 92.34% +0.05% ========================================== Files 93 93 Lines 10589 10589 Branches 2517 2516 -1 ========================================== + Hits 9772 9778 +6 + Misses 817 811 -6 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.