../ Core/Improve speed of type checking by spotting unification failure quicker14 years ago IRTS/New datatype for defunctionalised programs ...so that we can't make something ill formed by accident14 years ago Idris/Minor parser fixes; added binary sample14 years ago Pkg/Install object files from packages14 years ago RTS/Added binding form to syntax rules (and updated tutorial accordingly)14 years ago Util/Added simple library packaging system Now used for the prelude (see lib/base.ipkg)14 years ago Main.hsAdded simple library packaging system Now used for the prelude (see lib/base.ipkg)14 years ago