fin
Nat and Fin: peano naturals and finite numbers
Version on this page: | 0.0.2 |
LTS Haskell 22.19: | 0.3@rev:2 |
Stackage Nightly 2024-05-04: | 0.3@rev:2 |
Latest on Hackage: | 0.3@rev:2 |
Maintained by Oleg.Grenrus
This version can be pinned in stack with:
fin-0.0.2@sha256:2bb41d23519d8a6d28a991dc14137d420b094d2c23a5018807973930ef2bdd6d,3352
Module documentation for 0.0.2
- Data
- Data.Fin
- Data.Fin.Enum
- Data.Nat
- Data.Type
- Data.Type.Nat
- Data.Fin
Depends on 3 packages(full list with versions):
Used by 2 packages in nightly-2019-05-13(full list with versions):