contribs/latest version14 years ago iif/Added GMP interface for BigInts14 years ago impl-paper/making implementation paper depended on local file in some extern directory14 years ago lib/added unwords14 years ago rts/Added GMP interface for BigInts14 years ago samples/Add a sample of named instances14 years ago src/Added GMP interface for BigInts14 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/Added binding form to syntax rules (and updated tutorial accordingly)14 years ago tutorial/Change app to ++ in tutorial (typo)14 years ago .gitignoreNew .gitignore for Cabal's directory and .ibc files.15 years ago CHANGELOGAdded lazy application to IRTS14 years ago LICENSEFix LICENSE15 years ago MakefileMore towards the new compiler14 years ago READMEUpdate .cabal and README15 years ago Setup.hsFirst baby steps towards a new RTS (and towards removing epic dependency)14 years ago git-credential-osxkeychainerror handling14 years ago idris.cabalAdded defunctionalisation to IRTS idris --fovm now gives a full defunctionalising compiler for a supercombinator language14 years ago