contribs/Refactored a couple more spots13 years ago effects/Make ChType a member of IntTy ITChar.13 years ago iif/ java/SSA style stack management and FChar is finally gone.13 years ago javascript/More Integer fixups13 years ago js/javascript: handle tailcalls for FFI13 years ago lib/Allow 'rewrite ... in' to assert the resulting type "rewrite f ==> t in x" means that after applying the rewrite f, the required type of x must be t. This is primarily for readability of proofs built by successive rewritings.13 years ago llvm/GC GMP-allocated memory13 years ago papers/Revision of impl-paper completed.14 years ago rts/Fix spelling of Xor prims. This fixes issue #356.13 years ago samples/Added backend target specification to %lib, %link and %include directives13 years ago src/SSA style stack management and FChar is finally gone.13 years ago support/ test/Correct codegen-specific test targets option naming13 years ago tutorial/Merge pull request #340 from JanBessai/BackendTargetSpecification13 years ago .gitattributestypo fix in git attributes, adding test results to gitignore14 years ago .gitignoreAdd tutorial LaTeX by-products to .gitignore13 years ago .travis.ymlTravis: enable cabal flags for Java in cabal execution instead of config.mk13 years ago CHANGELOGUpdate CHANGELOG to reflect recent additions and fixes13 years ago CONTRIBUTORSunify help and completion of REPL - previously they were not in sync, now it is one lookup table14 years ago LICENSE MakefileAdd java tests to travis.yml13 years ago READMEDescribe dependencies in README13 years ago Setup.hsObject and executable outputs13 years ago config.mkMerge remote-tracking branch 'upstream/master' into providers14 years ago idris.cabalMissing cabal entries added.13 years ago