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/Add a prim__systemInfo primitive.12 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/New syntax for documentation comments13 years ago 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 CHANGELOGQuasiquotes in CHANGELOG12 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