../ MakefileAdded lifting of unsolved metavariables to global functions15 years ago builtins.idrMoved primitive operators to builtints.idr15 years ago io.idrAdded some library files15 years ago list.idrMoved primitive operators to builtints.idr15 years ago nat.idrAdded = and refl15 years ago prelude.idrMoved primitive operators to builtints.idr15 years ago vect.idrAdded case analysis on types, but only when enabled with --typecase (since it breaks parametricity)15 years ago