A typed lisp (dead simple) written using GADTs, Tagless Finals and the Free Monad!
Primary LanguageHaskellOtherNOASSERTION