contribs/latest version14 years ago iif/Change TRACE mode to use -O214 years ago impl-paper/making implementation paper depended on local file in some extern directory14 years ago lib/Almost working new back end14 years ago rts/Almost working new back end14 years ago samples/Add a sample of named instances14 years ago src/Almost working new back end14 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/Merge branch 'master' of github.com:edwinb/Idris-dev14 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 MakefileFix allocation size14 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.cabalAlmost working new back end14 years ago