contribs/adjusted date in vimscripts14 years ago iif/Change TRACE mode to use -O214 years ago lib/Change comment rules Comments cannot begin '{-|' or '--|'. This is now reserved for documentation comments, which will be part of the syntax to support documentation at the REPL.14 years ago papers/Created papers directory14 years ago rts/Pattern matching on strings, big integers and characters14 years ago samples/Minor parser fixes; added binary sample14 years ago src/Small change to doc comment syntax (allow spaces before | or ^)14 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/Small change to doc comment syntax (allow spaces before | or ^)14 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 nested parameters blocks14 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.cabalDisplay useful information on :doc (It's ugly though...)14 years ago