peano-1.0.0 ----------- Version 1.0.0 Author Michael Hanus <mh@informatik.uni-kiel.de> Synopsis Library defining natural numbers in Peano representation Category Data Dependencies Compiler compatibility pakcs >= 2.0.0 kics2 >= 2.0.0 Exported modules Data.Nat Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/peano.git@v1.0.0 License BSD-3-Clause License file LICENSE