lean-peano
Implementation of peano numbers (with all relevant instances) with minimal dependencies.
Please see the README on GitHub at https://github.com/oisdk/lean-peano#readme
Homepage Repository Hackage Haskell
cabal install lean-peano
Implementation of peano numbers (with all relevant instances) with minimal dependencies.