on 39e0fba help sign in
Idris-dev
10 folders, 10 files
contribs/mark bad whitespaces iif/Change TRACE mode to use -O2 lib/Make believe_me abstract papers/Created papers directory rts/Fix allocation of big integers samples/Minor parser fixes; added binary sample src/added fixity of operators to :doc output 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 nested parameters blocks 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