../ MakefileNot really mini any more...15 years ago builtins.idrAdded Integer (but an Epic bug prevents them compiling properly)15 years ago io.idrMake do notation use Monad class15 years ago list.idrBetter type class resolutions15 years ago maybe.idrEq class, Nat is a Num15 years ago nat.idrAdded Integer (but an Epic bug prevents them compiling properly)15 years ago prelude.idrAdded Integer (but an Epic bug prevents them compiling properly)15 years ago vect.idr/= for Fin15 years ago