impl-paper/Add ElabInfo to pass through elaborator15 years ago src/Added 'where' clauses in pattern matches15 years ago LICENSEFix LICENSE15 years ago READMEFirst commit15 years ago decls.miLots of improvements in elaborating and evaluating15 years ago interp.miAdded using blocks15 years ago miniidris.cabalAdded constants and some primitive operations15 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