impl-paper/Better if unification substitutes rather than let binds15 years ago src/Convert holes to patterns when evaluating at the prompt, for display15 years ago LICENSEFix LICENSE15 years ago READMEFirst commit15 years ago decls.miLots of improvements in elaborating and evaluating15 years ago interp.miConvert holes to patterns when evaluating at the prompt, for display15 years ago miniidris.cabalSome error handling15 years ago test.miShift core TT into a separate directory (for ease of reuse)15 years ago