git.iko.soy/Idris-dev
on 6dc5ea2 help sign in
Idris-dev
15 folders, 11 files
contribs/vim: highlight metavars with quotes 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/New module chaser, for better dependency checking and rebuilding Now treats each source file separately, building a tree of dependencies, and rebuilding if any dependencies have updated. In particular, this fixes a problem with stale definitions hanging ar… llvm/Take CFLAGS from environment in Makefiles papers/Paper revisions rts/Calculate size allocation of BIGINT properly samples/Fix Vect arguments in samples/ src/Fix name shadowing in where support/ test/New module chaser, for better dependency checking and rebuilding Now treats each source file separately, building a tree of dependencies, and rebuilding if any dependencies have updated. In particular, this fixes a problem with stale definitions hanging ar… tutorial/Fix a typo in the tutorial. .gitattributes .gitignoreAdd an XML file generated in the build to the ignore file .travis.ymlMerge pull request #434 from JanBessai/IndependentJavaRTSVersion CHANGELOGFix name shadowing in where 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.cabalNew module chaser, for better dependency checking and rebuilding Now treats each source file separately, building a tree of dependencies, and rebuilding if any dependencies have updated. In particular, this fixes a problem with stale definitions hanging ar…