goedelT

An attempt at implementing Gödel's T in Haskell

How to install:

If you want to play around with this, just follow these steps:

git clone https://github.com/jbetzend/goedelT.git
cd goedelT
cabal sandbox init
cabal install --only-dependencies
cabal run

TODO:

Tests, Improve Parser (Rec)