Package
peano
All Packages
Categories
Recent Uploads
Masala
Curry Package Manager
Curry Homepage
Contents of
peano-1.0.0
LICENSE
README.md
package.json
examples/
UseNat.curry
src/
Data/
Nat.curry