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/Invert namespace cleanup for better compatibility13 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.hsBuild LLVM rts at the right stage and clean up a namespace13 years ago config.mkRemove Java RTS build in favor of the version hosted on Maven Central13 years ago idris.cabalBump llvm-general13 years ago