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/ main/Merged with master13 years ago papers/ rts/Fix deadlock in RTS when using allocation in native code13 years ago samples/New syntax for documentation comments13 years ago src/Correct opening brace in implicits in pprinter13 years ago support/ test/Tweak notion of recoverability in coverage checker13 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 CONTRIBUTORSMerge branch 'master' of github.com:idris-lang/Idris-dev13 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.cabalTweak notion of recoverability in coverage checker13 years ago mkpkg.shUpdate version number to 0.9.1113 years ago