Interpreter and compiler for a dependently-typed core language, with garbage collection.
Primary LanguageHaskellGNU General Public License v3.0GPL-3.0