on 7ee208c help sign in
Idris-dev
10 folders, 10 files
contribs/vim: highlight impossible iif/Change TRACE mode to use -O2 lib/Minor fixes for inlining and integer literals papers/Created papers directory rts/Fix allocation of big integers samples/Minor parser fixes; added binary sample src/Merge pull request #90 from raichoo/parser support/Don't build thread support (because it doesn't work...) test/Add reg003 tests tutorial/Tutorial corrections .gitignoreadd vim temp files and cabal-dev directory to git ignore .travis.ymltravisci: run test suite CHANGELOGFix call graph generation LICENSEFix LICENSE MakefileRefactor the makefile so that all the pertinent variables are in config.mk READMEAdd a note about editing config.mk Setup.hsFirst baby steps towards a new RTS (and towards removing epic dependency) config.mkRefactor the makefile so that all the pertinent variables are in config.mk git-credential-osxkeychainerror handling idris.cabalMinor fixes for inlining and integer literals