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