fin
Nat and Fin: peano naturals and finite numbers
Version on this page: | 0.0.2@rev:1 |
LTS Haskell 22.26: | 0.3@rev:2 |
Stackage Nightly 2024-06-22: | 0.3.1 |
Latest on Hackage: | 0.3.1 |
Maintained by Oleg.Grenrus
This version can be pinned in stack with:
fin-0.0.2@sha256:849524b9460ea052ee7262fbc20f5f5350b5f6d34368aed3b1c9506064d45d86,3379
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-25(full list with versions):