git.iko.soy/Idris-dev
on 64b7cfd help sign in
Idris-dev
2 folders, 5 files
impl-paper/Better if unification substitutes rather than let binds src/Parsing high level data declarations LICENSEFix LICENSE READMEFirst commit decls.miParsing high level data declarations miniidris.cabalStart of a REPL and main program with argument processing test.miShift core TT into a separate directory (for ease of reuse)