contribs/vim: remove bad whitespace highlight13 years ago effects/Fix primitive references in test02513 years ago iif/Change TRACE mode to use -O214 years ago java/Proper initialization semantics for raw memory14 years ago js/javascript: fix ptr handling14 years ago lib/Clean up implementation of type providers13 years ago papers/Revision of impl-paper completed.14 years ago rts/Fixed and extended C backend integer operations13 years ago samples/Improved performance by not going through PQuote and doing less normalisation14 years ago src/Tiny further simplification of type provider elaboration13 years ago support/ test/Allow type class constraints in 'using' clauses e.g. if a using block is given as13 years ago tutorial/Update where type inference example in tutorial13 years ago .gitattributestypo fix in git attributes, adding test results to gitignore14 years ago .gitignoreBuild RTS as shared library14 years ago .travis.ymlInstall in .travis.yml13 years ago CHANGELOGAllow type class constraints in 'using' clauses e.g. if a using block is given as13 years ago CONTRIBUTORSunify help and completion of REPL - previously they were not in sync, now it is one lookup table14 years ago LICENSE MakefileInstead of using the installed global idris for tests, pass the PATH to the current compiled one to test and use this13 years ago READMEAdded testing instructions to README14 years ago Setup.hsRemove dynamically loaded RTS due to 32/64-bit issues on OS X14 years ago config.mkMerge remote-tracking branch 'upstream/master' into providers14 years ago idris.cabalinitial ideslave14 years ago