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: more FFI work12 years ago libs/Add decision procedure for Prelude.Nat.LTE12 years ago llvm/ main/Add --testpkg option + tests section in IPKG files12 years ago papers/ rts/Unbreak windows build of idris_net.c12 years ago samples/ src/Allow reflecting types with quasiquote patterns12 years ago support/ test/Add simple test for quasiquotations12 years ago .gitattributes .gitignore .travis.ymlDon't compile before building docs in Travis12 years ago CHANGELOGMerge remote-tracking branch 'upstream/master' into quasiquote12 years ago CONTRIBUTING.md CONTRIBUTORSAdded myself to contributors12 years ago LICENSE MakefileFixed makefile spacing issues12 years ago READMEchanged the first sentence of the readme13 years ago Setup.hs config.mkMerge https://github.com/idris-lang/Idris-dev12 years ago custom.mk-alldeps idris-tutorial.pdf idris.cabalAdd simple test for quasiquotations12 years ago mkpkg.sh