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/Removed Unicode character from source file12 years ago llvm/ main/Add --testpkg option + tests section in IPKG files12 years ago papers/ rts/Merge https://github.com/idris-lang/Idris-dev12 years ago samples/New syntax for documentation comments13 years ago src/"auto" now does proof search12 years ago support/ test/Remove unnecessary test12 years ago .gitattributes .gitignore .travis.ymlDon't compile before building docs in Travis12 years ago CHANGELOGMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/casetactic12 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.cabalRemove unnecessary test12 years ago mkpkg.sh