git.iko.soy/Idris-dev
on aa85339 help sign in
Idris-dev
2 folders, 4 files
impl-paper/Better if unification substitutes rather than let binds src/Builds on ubuntu haskell platform LICENSEFix LICENSE READMEFirst commit miniidris.cabalMade a start on the high level language test.miShift core TT into a separate directory (for ease of reuse)