contribs/vim: highlight impossible14 years ago iif/Change TRACE mode to use -O214 years ago lib/Add Prelude.Function to module list in base.ipkg14 years ago papers/Created papers directory14 years ago rts/Fix allocation of big integers14 years ago samples/Minor parser fixes; added binary sample14 years ago src/Fix bug in lifting of with clauses Need to make sure _ remains _ on lifting - stray variables were creeping in after 'match'.14 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/Add reg003 tests14 years ago tutorial/Tutorial corrections14 years ago .gitignoreadd vim temp files and cabal-dev directory to git ignore14 years ago .travis.ymltravisci: run test suite14 years ago CHANGELOGFix call graph generation14 years ago LICENSEFix LICENSE15 years ago MakefileRefactor the makefile so that all the pertinent variables are in config.mk14 years ago READMEAdd a note about editing config.mk14 years ago Setup.hsFirst baby steps towards a new RTS (and towards removing epic dependency)14 years ago config.mkRefactor the makefile so that all the pertinent variables are in config.mk14 years ago git-credential-osxkeychainerror handling14 years ago idris.cabalMinor fixes for inlining and integer literals14 years ago