git.iko.soy/Idris-dev
on 22f47ff help sign in
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 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 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 4be2fbaAllow 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.Ahmad Salim Al-Sibahi c4c3704Add a few Stream functionsMelvar Chen fc8da5fConstrain Min/MaxBound to Ord instances.Greg Pfeil 6f651b0Give Fin an Ord instance.Greg Pfeil 272b5a5Add missing Min/Max bound for Bits8.Greg Pfeil e07c13dAdd :refine (:ref) command for refining a holeEdwin Brady 3d50580Merge pull request #1073 from david-christiansen/docsEdwin Brady a4295e3Merge pull request #1070 from david-christiansen/whocallsEdwin Brady 56147bfMerge pull request #1067 from Melvar/fix-reg039Edwin Brady f03ee7eMerge pull request #1065 from ziman/fieldsEdwin Brady 029f67cMerge pull request #1063 from puffnfresh/uninhabitedEdwin Brady 7442132Merge pull request #1062 from johnny-john/list-addEdwin Brady 78dff26Merge pull request #1061 from sellout/masterEdwin Brady 9136681Merge pull request #1060 from pminten/add-docsEdwin Brady 6fab821Merge pull request #1058 from raichoo/javascriptEdwin Brady 81df1ebMerge pull request #1057 from ahmadsalim/bug/wronghelpEdwin Brady 83b6156Merge pull request #1054 from puffnfresh/map-set-ord-constraintsEdwin Brady 0b37d3fMerge pull request #1053 from ahmadsalim/improvement/parser-simplificationEdwin Brady 028301cRewrote signatures to annonate with full Conor colours, changed documentation structure to fix critical Internet Explorer problem, and changed the name of the builtins module, also for Internet ExplorerPhilip Rasmussen 2484c56Updated signatures to use Conor colours, increased difference between links and non-links, and fixed a wrap issue in Safari and ChromePhilip Rasmussen 757adceMinor docstring additionsDavid Raymond Christiansen a457fddLaziness docstringsDavid Raymond Christiansen 8741859Standard IO effect docstringsDavid Raymond Christiansen 7d38bcfMore Fin docstringsDavid Raymond Christiansen b4e26a4List docstringsDavid Raymond Christiansen 95dac76Fixed display bug for existential typesPhilip Rasmussen 585ea9fFinished HTML generation of type headers and fixed a sorting bug for the index pagePhilip Rasmussen b538db9Fixed minor styling bugPhilip Rasmussen 39e4022Simplify protocol to IDESlave and :who-calls, :calls-whoDavid Raymond Christiansen