../ algebra.idrSmall changes fixing typos.15 years ago applicative.idrSome prelude shuffling15 years ago cast.idrSome prelude shuffling15 years ago char.idrRemoved need for terminating ; A declaration is now considered terminated on encountering a token in the same column as the declaration began - or on encountering a semicolon. Libraries and some tests updated.15 years ago complex.idrAdded simple library packaging system Now used for the prelude (see lib/base.ipkg)14 years ago either.idrAdded more to prelude, specifically in the files either.idr and maybe.idr. Ported most of the (total functions from) the Haskell Prelude relating to these types, as well as commonly used auxilliary functions found in third-party libraries on Hackage.15 years ago fin.idrSupport linking external .o files in new compiler14 years ago heap.idrTest commit after hosing my local copy of the repository through fiddling with git and reverts. Starting on a correctness proof of the heap implementation. Type checking now much faster.15 years ago list.idradded repeat and replicate14 years ago maybe.idrFix circular dependencies15 years ago monad.idrFix circular dependencies15 years ago nat.idrAlmost working new back end14 years ago strings.idradded unwords14 years ago vect.idradded replicate14 years ago