@@ -4,6 +4,8 @@ Testing out various type systems in Haskell.
Currently allows for primitive expressions to be evaluated and typeckecked allowing for "true", "false", "if E then E else E", "0", "succ E", "pred E", "isZero E" and "(E)" where E is an expression.
Take a look at my language [Lightfold](https://git.eisfunke.com/software/lightfold/lightfold) for an interpreter and typechecker for a more elaborate language.
Run with `stack run` to open the test shell interface. Enter an expression in the shell to see it parsed and evaluated.
