git.iko.soy/Idris-dev
on ffe8706 help sign in
Idris-dev
15 folders, 11 files
contribs/More robust Emacs commands effects/Whitespace cleanup. iif/ java/Java RTS Version bump to include isNull, Maven POM gets installed correctly javascript/Refactored the build inside Setup.hs and the various Makefiles. jsrts/javascript: switch to jsbn lib/Null pointer primitive llvm/Print failed pattern match error messages to stderr papers/Finished proof-reading implementation paper rts/Take into account that GMP operations can move data samples/Whitespace cleanup. src/Null pointer primitive support/ test/Whitespace cleanup. tutorial/Small tutorial tweaks for 0.9.10 .gitattributes .gitignoreJava RTS Version bump to include isNull, Maven POM gets installed correctly .travis.ymlAsk travis to install optional dependencies CHANGELOGUpdate CHANGELOG and verison number CONTRIBUTORSAdded myself to contributors LICENSE MakefileAdd test_all target to run tests for all backends 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.cabalUpdate CHANGELOG and verison number