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/Make all Verified* type class methods total12 years ago llvm/ main/Inserted a newline which seamed to be missing.12 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/Handle extra field of PClass in IBC.hs12 years ago support/ test/Rename record002 test to the correct name!12 years ago .gitattributes .gitignoreUpdate .gitignore for new tests structure13 years ago .travis.ymlRegression test for infinite regress in executor13 years ago CHANGELOGAdd removal of :info to CHANGELOG12 years ago CONTRIBUTING.md CONTRIBUTORSAdd myself to the CONTRIBUTORS file12 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.mkDon't set CC if it has already been set12 years ago custom.mk-alldepsAutomatically detect console width13 years ago idris-tutorial.pdf idris.cabalGenerate better record update functions12 years ago mkpkg.shUpdate version number to 0.9.1113 years ago