git.iko.soy/Idris-dev
on 13d08bd help sign in
Idris-dev/lib
8 files
../ MakefileNot really mini any more... builtins.idrElaborating class declarations io.idrImproved where; implicit arguments now expanded during elaboration list.idrBetter type class resolutions maybe.idrEq class, Nat is a Num nat.idrElaborating class declarations prelude.idrElaborating class declarations vect.idrType class instance resolution, and some Num overloading