git.iko.soy/Idris-dev
on 80b60a6 help sign in
80b60a6Remove unnecesary imports and fix small hlint warningJoseph Morag 8af2772Change anyChar to anySingleJoseph Morag ca34decBump megaparec versions in idris.cabal and stack.yamlJoseph Morag 8f66bedMerge pull request #4601 from bor0/bor0-patch-1Niklas Larsson d063e6aMerge pull request #4597 from dkeehl/dkeehl-lexer-fixNiklas Larsson b201c84Update impleff.rstBoro Sitnikovski 606ae61fix octal digits lexerdkeehl 595cfb4Merge pull request #4586 from bossmc/masterNiklas Larsson a244099Merge pull request #4588 from clayrat/patch-13Niklas Larsson 347b63fMerge pull request #4590 from felixonmars/patch-1Niklas Larsson a1c7940Allow code-page 0.2Felix Yan 7695883Cons is not NilAlex Gryzlov 3c8f2d6Total List.transposeAndy Caldwell 1a7fa35Add regression test for #2349 (#4584)Ryan Scott c536a6eExport interface implementations of Network.Cgi (#4580)Hadi Moshayedi 5549d87Added Proposition interface. (#4576)stop-cran 3a5f962Proven some basic statements about Data.Fin. (#4571)stop-cran baf5a22Fix git clone typo in CONTRIBUTING.md (#4568)rbasso 62b7aabMerge pull request #4581 from pykello/fix_stylizeNiklas Larsson 71bad46Fix stylization problems.Hadi Moshayedi 8362faaSlightly better hashing function for interfacesEdwin Brady ed80b7dStylish fixesEdwin Brady 5c02f10Merge branch 'ibc-hash'Edwin Brady 1510fceUpdate version numberv1.3.1Edwin Brady 2699ce1Update CHANGELOGEdwin Brady 5f22426Remove a needless logEdwin Brady b2f419bStore hash of the IBC file's interfaceEdwin Brady faf1d67Add fixes to changelogNiklas Larsson 713ad66Merge pull request #4547 from JulianKniephoff/elements-smaller-than-boundNiklas Larsson bae730aMerge pull request #4565 from stop-cran/masterNiklas Larsson 8fc6989Wrap GMP operations in a requireAllocEdwin Brady 37bd154Added `VerifiedAlternative` by analogy with `VerifiedSemigroup`.stop-cran b15522aadd `VerifiedMonad (Either a)`, `VerifiedMonad List`stop-cran d027601Merge pull request #4563 from idris-lang/melted-patch-1Niklas Larsson 08506efDisable travis job that always times outNiklas Larsson 60c5b3eMerge pull request #4562 from melted/support_ghc86Niklas Larsson 77bae41Fixes for GHC 8.6Niklas Larsson 4d8dab0Merge pull request #4561 from melted/azure-pipelinesNiklas Larsson 57985d9Implement Azure Pipelines CINiklas Larsson 655b4c7Fix potential memory allocation problemEdwin Brady 51d3888Merge pull request #4557 from gallais/masterNiklas Larsson f07ebbf[ docs ] definitions in the same order as in the source fileGuillaume Allais 80293baMerge pull request #4554 from imuli/javascript-right-shiftNiklas Larsson fc34924Merge pull request #4552 from melted/megaparsec7Niklas Larsson a09c705Add an upper bound on megaparsecNiklas Larsson f5085b9javascript backend: fix logical right shiftsImuli 91039eeStrengthen `elemSmallerThanBound`Julian Kniephoff 8b1efd4Merge pull request #4540 from melted/fix_networkNiklas Larsson 0e2f545Silence stylizeNiklas Larsson 332df52Remove use of deprecated network functionalityNiklas Larsson