Unfinished implementation of a primitive recursive encoding of the theory of Peano arithmetic.
Haskell Shell
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
src
test
.gitignore
LICENSE
README
Setup.hs
build-test.sh
peano.cabal