impl-paper/Better if unification substitutes rather than let binds15 years ago src/Fixed unification; added well-typed interpreter15 years ago LICENSEFix LICENSE15 years ago READMEFirst commit15 years ago decls.miLots of improvements in elaborating and evaluating15 years ago interp.miFixed unification; added well-typed interpreter15 years ago miniidris.cabalSome error handling15 years ago test.miShift core TT into a separate directory (for ease of reuse)15 years ago