git.iko.soy/Idris-dev
on 229a99c 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/Better elaboration order; also changed instance argument syntax slightly src/Better elaboration order; also changed instance argument syntax slightly LICENSEFix LICENSE MakefileSugar for dependent pairs READMEFirst commit interp.idrBetter elaboration order; also changed instance argument syntax slightly miniidris.cabalBeginning theorem prover interface