benchmarks/Add fasta benchmark to benchmarks/ALL13 years ago contribs/Upstream updates to idrislang.sty13 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: initial Bits8 support13 years ago libs/Allow second argument of assert_smaller to be of different type than first argument since this could be useful for functions that are written with Universe-style pattern matching, i.e., where the rhs pattern has different type than the lhs expression.13 years ago llvm/Fix .PHONY targets in Makefiles13 years ago main/Merged with master13 years ago papers/Fix .PHONY targets in Makefiles13 years ago rts/Fix deadlock in RTS when using allocation in native code13 years ago samples/New syntax for documentation comments13 years ago src/Coverage checker fix13 years ago support/Fix .PHONY targets in Makefiles13 years ago test/Rename test reg040 to avoid clash13 years ago .gitattributes .gitignoreUpdate .gitignore for new tests structure13 years ago .travis.ymlRegression test for infinite regress in executor13 years ago CHANGELOGMerge pull request #1090 from david-christiansen/rasmussen-credit13 years ago CONTRIBUTING.mdUpdates to contributing guidelines.13 years ago CONTRIBUTORSCoverage checker fix13 years ago LICENSE MakefileSyntax for failures in pattern matching let/<-13 years ago READMEchanged the first sentence of the readme13 years ago Setup.hs config.mk custom.mk-alldepsAutomatically detect console width13 years ago idris-tutorial.pdf idris.cabalMerge branch 'fix-unsafeperformio' of https://github.com/ziman/idris into ziman-fix-unsafeperformio13 years ago mkpkg.shUpdate version number to 0.9.1113 years ago