git.iko.soy/Idris-dev
on d027601 help sign in
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 8b1efd4Merge pull request #4540 from melted/fix_networkNiklas Larsson 0e2f545Silence stylizeNiklas Larsson 332df52Remove use of deprecated network functionalityNiklas Larsson a4a8ce2Merge pull request #4537 from zgrannan/nested-with-in-docsNiklas Larsson 62e58d4Merge pull request #4535 from zgrannan/fix-negNiklas Larsson 65d5427Include nested `with` clauses in tutorialZack Grannan ab3985aHandle constant negation in parsing phaseZack Grannan 66f8363Merge pull request #4528 from zgrannan/add-sized-pairNiklas Larsson ef155c2Merge pull request #4527 from zgrannan/stack-shell-testsNiklas Larsson fb3a095A couple of missing control codes in LexerEdwin Brady 3bf02beAdd control codes to char literals in Text.LexerEdwin Brady 713e485newBuffer should return a managed pointerEdwin Brady 0f93c18Add perl, nodejs to stack-shell.nixZack Grannan 62695fcAdd implementation of Sized for Pair typeZack Grannan f70d4faUse Integer comparison in Lexer for string lengthEdwin Brady 86126a7Merge pull request #4526 from doofin/masterNiklas Larsson 6a55558Update idris_stdfgn.cdoofin c9e8cf9fix with MKSTRdoofin c0360f6fixdoofin d026c4eadd currentDirdoofin c6c087fMerge pull request #4521 from doofin/masterNiklas Larsson 2642556Merge pull request #4519 from melted/fix_getDepsTermNiklas Larsson dce3380add eitherToMaybedoofin 2c90685Handle Inferred terms in getDepsTermNiklas Larsson f16b5c0Merge pull request #4518 from clayrat/patch-12Niklas Larsson 88f8196add `VerifiedFunctor (Pair a)`Alex Gryzlov bbeb2a9Merge pull request #4477 from ejenk/fix/master/my_contribNiklas Larsson 3bf788aMerge pull request #4515 from howtonotwin/feature/more-morNiklas Larsson d8720baMerge pull request #4509 from MarisaKirisame/patch-1Niklas Larsson c4c03b6Merge pull request #4505 from howtonotwin/feature/vect-isosNiklas Larsson cfbf692Prettify Monoids for morphismshowtonotwin 7454bb2Clean up splitAthowtonotwin 5ed7efbUse heterogeneous equality for take/drop proofshowtonotwin cb80367Make vectInjective# use heterogeneous equalityhowtonotwin 8d63fcfClean uphowtonotwin 9aa0517Replace vectLiftIso with mapIsohowtonotwin a27d753Make functorIdentity use extensional equalityhowtonotwin