contribs/latest version14 years ago iif/Added defunctionalisation to IRTS idris --fovm now gives a full defunctionalising compiler for a supercombinator language14 years ago impl-paper/making implementation paper depended on local file in some extern directory14 years ago lib/added unwords14 years ago rts/Added defunctionalisation to IRTS idris --fovm now gives a full defunctionalising compiler for a supercombinator language14 years ago samples/Add a sample of named instances14 years ago src/added proof list14 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 CHANGELOGQuicker resolution of overloaded names By checking the name's type against the goal type rather than fully checking.14 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