git.iko.soy/Idris-dev
on 205ebd0 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/Simplify evaluator It tries to support too much, but since it's part of the kernel it should do as little clever stuff as possible. Now just normalises, simplifies or specialises, the latter two simply meaning that certain names are blocked from being redu… llvm/Take CFLAGS from environment in Makefiles papers/Paper revisions rts/Calculate size allocation of BIGINT properly samples/Fix Vect arguments in samples/ src/javascript: refactor apply generation support/ test/Added 'quoteGoal x by p in e' syntax meaning, let x = p [current goal] in e Additionally, the value of x is normalised, which means p can be a compile-time only %reflection function used to prove something interesting in e. See test030 for an example of au… 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 CHANGELOGAdded 'quoteGoal x by p in e' syntax meaning, let x = p [current goal] in e Additionally, the value of x is normalised, which means p can be a compile-time only %reflection function used to prove something interesting in e. See test030 for an example of au… 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.cabalDelete unused code