git.iko.soy/Idris-dev
on 7a30f10 help sign in
Idris-dev
2 folders, 5 files
impl-paper/Better if unification substitutes rather than let binds src/Maybe if I add liftCatch locally things will work on 6.12 LICENSEFix LICENSE READMEFirst commit decls.miElaborating types and data declarations miniidris.cabalDon't crash on error, keep going test.miShift core TT into a separate directory (for ease of reuse)