An attempt at implementing Gödel's T in Haskell
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
Tests, Improve Parser (Rec)