[ bounded ] Implement `Bounded` for `Fin`s - Githubissues

stefan-hoeck / idris2-hedgehog

An Idris port of the Haskell Hedghog library

BSD 2-Clause "Simplified" License

32 stars 3 forks source link

[ bounded ] Implement `Bounded` for `Fin`s #43

Closed buzden closed 11 months ago