A typed lisp (dead simple) written using GADTs, Tagless Finals and the Free Monad
TorNATO-PRO/NWLisp
A typed lisp (dead simple) written using GADTs, Tagless Finals and the Free Monad!
HaskellNOASSERTION
A typed lisp (dead simple) written using GADTs, Tagless Finals and the Free Monad!
HaskellNOASSERTION