contribs/Minor formatting and readability updates13 years ago effects/Merge branch 'master' of git://github.com/edwinb/Idris-dev into unified-int-primitives13 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/Merge branch 'master' of git://github.com/edwinb/Idris-dev into unified-int-primitives13 years ago papers/Revision of impl-paper completed.14 years ago rts/Merge branch 'master' of git://github.com/edwinb/Idris-dev into unified-int-primitives13 years ago samples/Improved performance by not going through PQuote and doing less normalisation14 years ago src/Fix Core.Execute to use IRTS.Lang.FType13 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/Parser improvement to allow mixing of implicit and non implicit Arguments13 years ago tutorial/Update version number in tutorial14 years ago .gitattributestypo fix in git attributes, adding test results to gitignore14 years ago .gitignoreBuild RTS as shared library14 years ago .travis.ymltravisci: run test suite14 years ago CHANGELOGFix parameter identification in data declarations Fixes issue #25914 years ago CONTRIBUTORSunify help and completion of REPL - previously they were not in sync, now it is one lookup table14 years ago LICENSE MakefileFix "make relib" to use dynamic rts14 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.cabalFix idris.cabal and base.ipkg to include Data.Vect.*13 years ago