../ Core/Separate compile time and run time inlinings Run time can be more aggressive - compile time needs to be careful since over aggressive inline can make the termination check harder, especially for type class instances.14 years ago IRTS/Separate compile time and run time inlinings Run time can be more aggressive - compile time needs to be careful since over aggressive inline can make the termination check harder, especially for type class instances.14 years ago Idris/Separate compile time and run time inlinings Run time can be more aggressive - compile time needs to be careful since over aggressive inline can make the termination check harder, especially for type class instances.14 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.hsMinor tutorial updates14 years ago