on cc4eb28 help sign in
Idris-dev
3 folders, 5 files
impl-paper/Some effort at reporting line numbers of errors (top level of decl only) lib/let bindings; fixed bug with simple lambda app src/let bindings; fixed bug with simple lambda app LICENSEFix LICENSE MakefileMakefile added READMEFirst commit interp.idrFix bug in applying syntax rules miniidris.cabalMore of the compiler