benchmarks/Add fasta benchmark to benchmarks/ALL13 years ago contribs/Updated idrislang.sty to ensure singlespacing code blocks12 years ago examples/Remove example directory13 years ago idrisdoc/Updated signatures to use Conor colours, increased difference between links and non-links, and fixed a wrap issue in Safari and Chrome13 years ago iif/ jsrts/javascript: display unsupported instruction as comments12 years ago libs/Fix doc rot on effects.12 years ago llvm/Merge branch 'gc-header-fix' of https://github.com/JasonGross/Idris-dev into JasonGross-gc-header-fix12 years ago main/Add --testpkg option + tests section in IPKG files12 years ago papers/ rts/Added rts/arudino/idris_main.c. It is similar to the standard idris_main.c except it does not attempt to handle argv/argc and it also calls the Arduino init() function.12 years ago samples/ src/Unification fix12 years ago support/ test/New regression test12 years ago .gitattributes .gitignore .travis.ymldata-lens is not a dep of idris12 years ago CHANGELOGReplace 'effects' with neweffects12 years ago CONTRIBUTING.md CONTRIBUTORSsuc{Max,Min}{L,R} + add mrb to CONTRIBUTORS12 years ago LICENSE MakefileFixed makefile spacing issues12 years ago READMEchanged the first sentence of the readme13 years ago Setup.hsSupport builds that doesn't use cabal for libs and rts12 years ago config.mkSet IDRIS_ENABLE_STATS in config.mk instead of in idris_stats.h. stats are not supported on Arduino. Also make sure that when IDRIS_ENABLE_STATS is not set, the idris_stats.h does not pull in time.h as this header is not available on the Arduino platform.12 years ago custom.mk-alldeps idris-tutorial.pdf idris.cabalMerge remote-tracking branch 'upstream/master' into fix/master/arduino12 years ago mkpkg.sh