on 4863beb help sign in
Idris-dev
10 folders, 10 files
contribs/adjusted date in vimscripts iif/Change TRACE mode to use -O2 lib/Type safe message passing concurrency papers/Created papers directory rts/Pattern matching on strings, big integers and characters samples/Minor parser fixes; added binary sample src/Pattern matching on strings, big integers and characters support/Don't build thread support (because it doesn't work...) test/Type safe message passing concurrency tutorial/Minor tutorial updates .gitignoreadd vim temp files and cabal-dev directory to git ignore .travis.ymltravisci: run test suite CHANGELOGPattern matching on strings, big integers and characters 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.cabalCorrect cabal file