Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for type-natural-0.7.1.1 source tarball
type-natural-0.7.1.1/
LICENSE
Setup.hs
type-natural.cabal
Data/
Type/
Natural.hs
Ordinal.hs
Natural/
Builtin.hs
Class.hs
Compat.hs
Core.hs
Definitions.hs
Class/
Arithmetic.hs
Order.hs
Ordinal/
Builtin.hs
Peano.hs