git.iko.soy/Idris-dev
on bda1f6f help sign in
Idris-dev
3 folders, 5 files
impl-paper/Paper structure; delete useless code lib/More of the compiler src/More of the compiler LICENSEFix LICENSE MakefileMakefile added READMEFirst commit interp.idrEnough Epic to compile 'hello world' (but not much else yet...) miniidris.cabalMore of the compiler