on bd70f22 help sign in
Idris-dev
15 folders, 11 files
contribs/SimpleParser: optional combinator added effects/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc iif/ java/Push java RTS version to the first one including signed comparisons javascript/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc js/javascript: refactoring lib/Separate IO and PrimIO PrimIO is the internal primitive, IO is the user version which requires an explicit World token to be passed in which programmers have no access to directly. Fixes #185 and fixes #325 llvm/Take CFLAGS from environment in Makefiles papers/More minor impl-paper edits and typo fixes rts/Separate IO and PrimIO PrimIO is the internal primitive, IO is the user version which requires an explicit World token to be passed in which programmers have no access to directly. Fixes #185 and fixes #325 samples/Fix Vect arguments in samples/ src/Have :t colourise the left side of the colon support/ test/Separate IO and PrimIO PrimIO is the internal primitive, IO is the user version which requires an explicit World token to be passed in which programmers have no access to directly. Fixes #185 and fixes #325 tutorial/tutorial: replace some leftover occurrence of fO .gitattributes .gitignoreAdd an XML file generated in the build to the ignore file .travis.ymlMerge pull request #434 from JanBessai/IndependentJavaRTSVersion CHANGELOGUpdate CHANGELOG for colours in REPL CONTRIBUTORSUpdate CONTRIBUTORS and CHANGELOG LICENSE MakefileAllow tests to be parallelized READMEDescribe dependencies in README Setup.hsMerge pull request #422 from melted/llvm config.mkTake CFLAGS from environment in Makefiles idris.cabalMove colourisation to a separate module