git.iko.soy/Idris-dev
on f9fb363 help sign in
Idris-dev
2 folders, 6 files
impl-paper/Better if unification substitutes rather than let binds src/Tinkering with error reporting LICENSEFix LICENSE READMEFirst commit decls.miLots of improvements in elaborating and evaluating interp.miAdded using blocks miniidris.cabalPretty printing of TT terms as PTerms test.miShift core TT into a separate directory (for ease of reuse)