benchmarks/Add fasta benchmark to benchmarks/ALL13 years ago codegen/Added idris-c executable12 years ago contribs/Updated idrislang.sty to ensure singlespacing code blocks12 years ago examples/ 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 warning in io003 on clang12 years ago llvm/Merge branch 'gc-header-fix' of https://github.com/JasonGross/Idris-dev into JasonGross-gc-header-fix12 years ago main/Added idris-c executable12 years ago man/Added nominal man-page.12 years ago papers/ rts/Fix typo in Idris network C code12 years ago samples/ src/Stop erasing binder types in executor12 years ago support/ test/Truncate results in primitives002 test12 years ago .gitattributes .gitignore .travis.ymlAdd a Travis target for make lib_doc12 years ago CHANGELOGMore efficiency improvements12 years ago CONTRIBUTING.md CONTRIBUTORSAdding Alyssa Carter to CONTRIBUTORS12 years ago LICENSE MakefileFixed makefile spacing issues12 years ago README Setup.hsSupport builds that doesn't use cabal for libs and rts12 years ago config.mkMerge https://github.com/idris-lang/Idris-dev12 years ago custom.mk-alldeps idris-tutorial.pdf idris.cabalStop erasing binder types in executor12 years ago mkpkg.sh