git.iko.soy/Idris-dev
on e530718 help sign in
Idris-dev/lib
8 files
../ MakefileNot really mini any more... builtins.idrAdd fromInteger to Nat class; allow type labels on let io.idrMake do notation use Monad class list.idrBetter type class resolutions maybe.idrEq class, Nat is a Num nat.idrAdd fromInteger to Nat class; allow type labels on let prelude.idrAdded log/exp (and lib/link directives) vect.idrType class instance resolution, and some Num overloading