../ Core/Allow forward declaration of data structures To support induction-recursion and mutual data definitions Syntax is as a normal data declaration, but without the 'where' or '=' sections14 years ago IRTS/Message passing fixes; also abstract SETTY/GETTY in rts14 years ago Idris/More restrictive automated addition of implicit arguments Only added automatically if they begin with a lower case letter, or appear in a using block. Apologies for breaking code: however, this catches a common class of error which causes confusing (but co…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