contribs/added vim syntax highlighter to tool-support14 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/Added fork (but not working properly yet)14 years ago rts/Fix FLOATOP properly14 years ago samples/Add a sample of named instances14 years ago src/Fix FLOATOP properly14 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/New RTS almost ready, but for garbage collection problem14 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 CHANGELOGGroup EVAL/APPLY constructors14 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.cabalAdded Util.System for compatibility (thanks to Dirk Ullrich)14 years ago