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/No need for 'using' in HVect12 years ago llvm/ main/Add --testpkg option + tests section in IPKG files12 years ago papers/ rts/Fix typo in Idris network C code12 years ago samples/ src/Add parens on generated S patterns12 years ago support/ test/Keep type arguments of = when unelaborating12 years ago .gitattributes .gitignore .travis.ymldata-lens is not a dep of idris12 years ago CHANGELOGUpdate CHANGELOG for unbound implicits12 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.mkMerge https://github.com/idris-lang/Idris-dev12 years ago custom.mk-alldeps idris-tutorial.pdf idris.cabalAdd goal types to quasiquotes.12 years ago mkpkg.sh