../ Core/Add size change termination Now deals with recursive functions (still only simple structural size changes spotted, however)14 years ago IRTS/Merge branch 'master' of https://github.com/raichoo/Idris-dev14 years ago Idris/Use strict StateT14 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.hsUse strict StateT14 years ago