contribs/vim: catch user errors13 years ago effects/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago iif/ java/Remove Java RTS build in favor of the version hosted on Maven Central13 years ago javascript/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago js/javascript: get more out of google closure13 years ago lib/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago llvm/StrRev primitive too13 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/rename fO into fZ13 years ago src/Much faster coverage checking by ignorng forced arguments No need to generate cases to check for them, because we already know their value is forced by another part of the same constructor!13 years ago support/ test/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago tutorial/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago .gitattributes .gitignoreAdd tutorial LaTeX by-products to .gitignore13 years ago .travis.ymlRemove Java RTS build in favor of the version hosted on Maven Central13 years ago CHANGELOGSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 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.hsFix the LLVM flag13 years ago config.mkRemove Java RTS build in favor of the version hosted on Maven Central13 years ago idris.cabalGoing to leave the llvm-general constraint until it's obviously fixed13 years ago