gentoo.mahdi.cz
dev-haskell
:fin
Nat and Fin: peano naturals and finite numbers
https://github.com/phadej/vec
fin-0.3
BSD
download
~amd64
haskell
fin-0.2.1
BSD
download
~amd64
haskell