on 4043a0c help sign in
Idris-dev
10 folders, 10 files
contribs/vim: added assert_total to highlighter iif/Change TRACE mode to use -O2 lib/Monad instance for (Either e) papers/Created papers directory rts/Fix allocation of big integers samples/Minor parser fixes; added binary sample src/Change 'abstract' rule for records Still have access to field names, but not constructor name 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.cabalFix a few missing module references