git.iko.soy/Idris-dev
on 22b4dc4 help sign in
Idris-dev
2 folders, 5 files
impl-paper/Better if unification substitutes rather than let binds src/Lots of improvements in elaborating and evaluating LICENSEFix LICENSE READMEFirst commit decls.miLots of improvements in elaborating and evaluating miniidris.cabalPattern matcher, evaluation of 2+2 now works test.miShift core TT into a separate directory (for ease of reuse)