git.iko.soy/Idris-dev
on df4ee4f help sign in
Idris-dev/lib
8 files
../ MakefileAdded lifting of unsolved metavariables to global functions builtins.idrBetter elaboration order; also changed instance argument syntax slightly io.idrImproved where; implicit arguments now expanded during elaboration list.idrBetter type class resolutions maybe.idrEq class, Nat is a Num nat.idrEq class, Nat is a Num prelude.idrBetter elaboration order; also changed instance argument syntax slightly vect.idrType class instance resolution, and some Num overloading