impl-paper/Paper structure; delete useless code15 years ago src/Allow whitespace before program text15 years ago LICENSEFix LICENSE15 years ago READMEFirst commit15 years ago decls.miFixed pattern matching and delaborator bug15 years ago interp.idrimport statement15 years ago miniidris.cabalimport statement15 years ago nat.idrAllow whitespace before program text15 years ago prims.miAdded 'where' clauses in pattern matches15 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