on 20861ec help sign in
Idris-dev
3 folders, 5 files
impl-paper/Paper structure; delete useless code lib/Enough Epic to compile 'hello world' (but not much else yet...) src/Enough Epic to compile 'hello world' (but not much else yet...) LICENSEFix LICENSE MakefileMakefile added READMEFirst commit interp.idrEnough Epic to compile 'hello world' (but not much else yet...) miniidris.cabalEnough Epic to compile 'hello world' (but not much else yet...)