../ MakefileAdded lifting of unsolved metavariables to global functions15 years ago builtins.idrFixed naming problem in type checking of application15 years ago io.idrAdded some library files15 years ago list.idrSome things in the prelude15 years ago maybe.idrSome things in the prelude15 years ago nat.idrAdded = and refl15 years ago prelude.idrSome things in the prelude15 years ago vect.idrAdded case analysis on types, but only when enabled with --typecase (since it breaks parametricity)15 years ago