fin
Nat and Fin: peano naturals and finite numbers
Version on this page: | 0.0.1 |
LTS Haskell 22.21: | 0.3@rev:2 |
Stackage Nightly 2024-05-11: | 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.1@sha256:c8a621986356843f7944a390a414cb1aec09132527936b9c9271a09075bceec4,3492
Module documentation for 0.0.1
- 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-2018-06-23(full list with versions):