impl-paper/Paper structure; delete useless code15 years ago lib/Library checking15 years ago src/Library checking15 years ago LICENSEFix LICENSE15 years ago MakefileMakefile added15 years ago READMEFirst commit15 years ago decls.miFixed pattern matching and delaborator bug15 years ago interp.idrAdded lib/ and prelude15 years ago miniidris.cabalAdded lib/ and prelude15 years ago prims.miAdded lib/ and prelude15 years ago test.miShift core TT into a separate directory (for ease of reuse)15 years ago wheres.miAdded 'where' clauses in pattern matches15 years ago