git.iko.soy/Idris-dev
on 22546bc help sign in
Idris-dev/lib
8 files
../ MakefileAdded lifting of unsolved metavariables to global functions builtins.idrFixed naming problem in type checking of application io.idrImproved where; implicit arguments now expanded during elaboration list.idrImproved where; implicit arguments now expanded during elaboration maybe.idrSome things in the prelude nat.idrSome proofs in nat.idr prelude.idrSome things in the prelude vect.idrImproved where; implicit arguments now expanded during elaboration