search

kowainik / slist

♾️ Sized list
https://kowainik.github.io/projects/slist
Mozilla Public License 2.0
46 stars 6 forks source link

[#5] Num laws for Size #32

Closed chshersh closed 4 years ago

chshersh commented 4 years ago

Part of #5

Checks Num instance laws for Size. I've also added some simple check on integer overflow.