impl-paper/Better if unification substitutes rather than let binds15 years ago src/Pattern matcher, evaluation of 2+2 now works15 years ago LICENSEFix LICENSE15 years ago READMEFirst commit15 years ago decls.miPattern matcher, evaluation of 2+2 now works15 years ago miniidris.cabalPattern matcher, evaluation of 2+2 now works15 years ago test.miShift core TT into a separate directory (for ease of reuse)15 years ago