benchmarks/Add fasta benchmark to benchmarks/ALL13 years ago codegen/javascript: lift out node backend12 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: fix backend to support new inliner12 years ago libs/Use believe_me for DecEq on primitives12 years ago llvm/Merge branch 'gc-header-fix' of https://github.com/JasonGross/Idris-dev into JasonGross-gc-header-fix12 years ago main/Annotate several top-level functions12 years ago man/Fix typo in help message (language extension)12 years ago papers/ rts/Add Borrowed types12 years ago samples/ src/Use exact name lookup when building from ibc12 years ago support/ test/Add test for basic REPL commands12 years ago .gitattributes .gitignore .travis.ymlInstall newer alex from Hackage for tests12 years ago CHANGELOGUpdate CHANGELOG12 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.cabalMerge remote-tracking branch 'upstream/master'12 years ago mkpkg.sh