git.iko.soy/Idris-dev
on 140d8d2 help sign in
140d8d2Add check after each proof step, not just the endEdwin Brady a85feebMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 0bd42f1Read 'lineapps' data from IBCEdwin Brady 03a24ffMerge pull request #1094 from david-christiansen/internal-docstringsEdwin Brady d0951b5Merge pull request #1093 from puffnfresh/bug-fixesEdwin Brady c3f26e9Normalise before case splitEdwin Brady d9ab891Add note about additional docs to CHANGELOGDavid Raymond Christiansen 66a2636Docstring improvement for prop. eq.David Raymond Christiansen 8fe60a2Enable word-wrapping in docstringsDavid Raymond Christiansen 1080689Improve the portability of reg041David Raymond Christiansen 5bd1695Add -e EXPR to evaluate expressions w/out REPLDavid Raymond Christiansen 6a011d8Add docstrings to internally defined typesDavid Raymond Christiansen ecd8c56Make completeCmd totalBrian McKenna 9abed6aTweak notion of recoverability in coverage checkerEdwin Brady 2820945Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 85ff9c2Coverage checker fixEdwin Brady 87c172cMerge pull request #1091 from ziman/accentsEdwin Brady 8c6939dAdd some UTF8 to CONTRIBUTORS.Matus Tejiscak 8bf2f8aMerge pull request #1090 from david-christiansen/rasmussen-creditEdwin Brady e467865Give Philip credit in CHANGELOG and CONTRIBUTORSDavid Raymond Christiansen 9c3b457Update CHANGELOG/CONTRIBUTORSEdwin Brady 35a6062Merge pull request #1089 from david-christiansen/issue/1024Edwin Brady c69550aMerge pull request #1088 from david-christiansen/issue/983Edwin Brady b2f9f85Merge branch 'fix-unsafeperformio' of https://github.com/ziman/idris into ziman-fix-unsafeperformioEdwin Brady 22f47ffMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady fc17f28Rename test in idris.cabal too...Edwin Brady 9302221Rename test reg040 to avoid clashEdwin Brady c146683Merge pull request #1084 from paulkoerbitz/add-fasta-benchmarkEdwin Brady 7d2e18fMerge pull request #1085 from david-christiansen/PhilipRasmussen-idrisdocEdwin Brady d8a6925Merge pull request #1083 from david-christiansen/ideslave-refineEdwin Brady 296b3eeMerge pull request #1081 from raichoo/javascriptEdwin Brady 3c46202Merge pull request #1079 from ahmadsalim/improvement/assert_smallerEdwin Brady fb019f0Allow argument comments to span linesDavid Raymond Christiansen 6d242dbMerge pull request #1078 from Melvar/stream-opsEdwin Brady 6e67f8bMerge pull request #1076 from sellout/masterEdwin Brady cfe250aCase tree building considers heterogeneous typesEdwin Brady cfbb64fMerge branch 'idrisdoc' of github.com:PhilipRasmussen/Idris-dev into PhilipRasmussen-idrisdocDavid Raymond Christiansen 3ac21cbBetter error messages on emulated FFIDavid Raymond Christiansen cef4141Use real Idris errors in ExecutorDavid Raymond Christiansen 4ed9178Add the test to the cabal file.Matus Tejiscak 17ff3b5Add erasure postulates for unsafePerformPrimIO.Matus Tejiscak 1915d38Add fasta benchmark to benchmarks/ALLPaul Koerbitz de098f2Fix bugs in fasta implementationPaul Koerbitz d90731eReplace awful scanl version with a saner onePaul Koerbitz 32417daReplace Nat's with Int'sPaul Koerbitz 2706acaAdd naive and horribly performing port of Haskell's fasta benchmark implementationPaul Koerbitz 65e2aa7Add support for :refine to IDESlaveDavid Raymond Christiansen b149185CHANGELOGraichoo 40ca338javascript: add plenty of bits primitivesraichoo 26d7d2bjavascript: switch Bits support to UintArraysraichoo