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/Merge pull request #425 from Melvar/simplify-range13 years ago llvm/StrRev primitive too13 years ago papers/Switch Vect arguments in implementation paper13 years ago rts/Fix spelling of Xor prims. This fixes issue #356.13 years ago samples/Fix Vect arguments in samples/13 years ago src/Remove overlapped case in CodegenC13 years ago support/ test/Unification fix If f x = g y fails to unify due to f and g failing to unify, record the whole application as failed, otherwise we might accidentally unify x and y. Fixes #40913 years ago tutorial/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago .gitattributes .gitignoreAdd an XML file generated in the build to the ignore file13 years ago .travis.ymlTemporarily remove java tests from .travis.yml Because they don't work anyway. Will reinstate when the java build isn't version number dependent, somehow.13 years ago CHANGELOGUpdate CHANGELOG13 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.hsMerge pull request #422 from melted/llvm13 years ago config.mkRemove Java RTS build in favor of the version hosted on Maven Central13 years ago idris.cabalVersion number incremenet for imminent release13 years ago