git.iko.soy/Idris-dev
on ef09742 help sign in
Idris-dev
15 folders, 11 files
contribs/remove vim files from contrib in favor of idris-hackers repo effects/Another minor efficiency gain in elaborator iif/ java/Reverting the change to the POM template and removing the templating/clenup logic for the Java backend. javascript/Refactored the build inside Setup.hs and the various Makefiles. js/javascript: refactored tailcalls lib/Make the parentheses around a with-rule scrutinee mandatory llvm/Print failed pattern match error messages to stderr papers/Finished proof-reading implementation paper rts/Fix segfault in MKSTR samples/Fix Vect arguments in samples/ src/Verify that foreign symbols declared in multiple places have a consistent signature support/ test/Test LLVM codegen on travis to reduce future breakage tutorial/tutorial: update interactive proof .gitattributes .gitignoreIgnore Mac OS X .DS_Store files .travis.ymlTest LLVM codegen on travis to reduce future breakage CHANGELOGMerge pull request #479 from david-christiansen/repl-persistent-history CONTRIBUTORSUpdate CONTRIBUTORS and CHANGELOG LICENSE MakefileTest LLVM codegen on travis to reduce future breakage READMEAdded note about wiki to README Setup.hsFix installation of LLVM codegen's RTS to incorrect path config.mkTake CFLAGS from environment in Makefiles idris.cabalFurther splitting of Parser