Implementation of a dependent type theory with internalised metaprogramming
Primary LanguageHaskellMIT LicenseMIT