contribs/vim: automatically adjust tactics and metavars to colorscheme13 years ago effects/Fix totality of updateWith/rebuildEnv in Effects13 years ago iif/Change TRACE mode to use -O214 years ago java/Proper initialization semantics for raw memory14 years ago javascript/javascript: fix compilation error13 years ago js/javascript: handle tailcalls for FFI13 years ago lib/Fix Data.Bits: properly convert to machine-buitin types everywhere. Fix Codegen: Shr is now called LShr, emit that.13 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/Take care to avoid duplicating redexes when reducing lambdas Binders in values are annotated with a 'reducible' flag, which is set to False if simplifying and the argument appears more than once.13 years ago support/ test/Take care with 'let' in specialiser - avoid duplicating a redex Let now only reduces if the binding appears at most once in scope during specialisation13 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 Makefilejavascript: added javascript lib package13 years ago READMEAdded testing instructions to README14 years ago Setup.hsjavascript: added javascript lib package13 years ago config.mkMerge remote-tracking branch 'upstream/master' into providers14 years ago idris.cabaljavascript: added javascript lib package13 years ago