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/Add %no_implicit directive12 years ago llvm/Merge branch 'gc-header-fix' of https://github.com/JasonGross/Idris-dev into JasonGross-gc-header-fix12 years ago main/Add --testpkg option + tests section in IPKG files12 years ago papers/ rts/Fix typo in Idris network C code12 years ago samples/ src/provide a Handle for IdeSlave, used to read from and write to (instead of hardcoded stdin/stdout) also send protocol-version message when the client connects also accept a single client connection when --ideslave-socket is provided (I don't see any reason …12 years ago support/ test/Add regression test for operators starting with "!"12 years ago .gitattributes .gitignore .travis.ymlList packages in Travis12 years ago CHANGELOGDon't show irrelevant MNs in prover12 years ago CONTRIBUTING.md CONTRIBUTORSAdd Functor Monad and Applicative id instances12 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 branch 'master' of github.com:idris-lang/Idris-dev12 years ago mkpkg.sh