git.iko.soy/Idris-dev
on e613365 help sign in
Idris-dev
2 folders, 6 files
impl-paper/Better if unification substitutes rather than let binds src/All names introduced by nachine should be MN, to avoid clashes LICENSEFix LICENSE READMEFirst commit decls.miLots of improvements in elaborating and evaluating interp.miAll names introduced by nachine should be MN, to avoid clashes miniidris.cabalSome error handling test.miShift core TT into a separate directory (for ease of reuse)