summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-03-22[ #3677 ] first attempt (not working)refs/pull/4532/headissue3677Andreas Abel
2020-03-22[ #3677 debug ] instance Pretty NewNotation etc.Andreas Abel
2020-03-22[ #3677 cosmetic refactor ] use hasElemAndreas Abel
2020-03-22[ #4456 ] highlighting for error warningsAndreas Abel
2020-03-22[ #4004 ] forgot flag in .ghci fileAndreas Abel
2020-03-22[ refactor ] Highlighting: simplify Aspect.note to StringAndreas Abel
2020-03-22[ refactor ] Highlighting.Range: Use Null classAndreas Abel
2020-03-22[ #3976 ] Remove broken linkTesla Ice Zhang‮
2020-03-21[ #3976 ] doc: links: giving up on gmane finallyAndreas Abel
2020-03-21[ fixed #4004 ] make BangPatterns defaultAndreas Abel
2020-03-21[ cosmetics ] remove long-ranging parenthesesAndreas Abel
2020-03-20[ fixed #4482 ] precise range for unexpected implicit argumentAndreas Abel
2020-03-20[ fixed #4486 ] did-you-mean now also for import directivesAndreas Abel
2020-03-19[ cosmetics ] the concat style for pretty printersAndreas Abel
2020-03-19[ #4518 ] refactor: replace Either by data ParseLHSAndreas Abel
2020-03-18Eradicate unused Imports and defined, but not used, functions, values (#4468)jrp2014
2020-03-18[ #4518 ] refactor test for fldNameAndreas Abel
2020-03-18[ cosmetics ] redundant parens, use concatAndreas Abel
2020-03-18[ #4518 ] Switch to (Maybe Pattern) errors in classifyPatternAndreas Abel
2020-03-18[ fixed #4518 ] More information from operator pattern parserAndreas Abel
2020-03-18Refactoring guided by hlint (#4479)jrp2014
2020-03-17[ fixed #4520 ] clearer error for ambiguous BUILTINAndreas Abel
2020-03-17[ cubical ] re HCompU: dealing with possibly missing primsAndrea Vezzosi
2020-03-16Remove extra ` in cubical.lagda.rst.favonia
2020-03-16[ #4476, stackage ] Resolver for GHC 8.8.3 was released (LTS 15.4).Andrés Sicard-Ramírez
2020-03-16Fixed #4516.Nils Anders Danielsson
2020-03-16Updated releases notes.Andrés Sicard-Ramírez
2020-03-16[ #4324 ] Created CHANGELOG for 2.6.2.Andrés Sicard-Ramírez
2020-03-16[ #4324 ] Bumped version to 2.6.2.Andrés Sicard-Ramírez
2020-03-15Modified a comment.Nils Anders Danielsson
2020-03-15[ #4324 ] Fixed accidental update.Andrés Sicard-Ramírez
2020-03-15[ #4324, std-lib ] Updated submodule commit.Andrés Sicard-Ramírez
2020-03-14[ re #4324 ] fix & cleanup test caseGuillaume Allais
2020-03-14[ #4324, std-lib ] Updated submodule commit.Andrés Sicard-Ramírez
2020-03-14[ #4324, cubical ] Updated submodule commit.Andrés Sicard-Ramírez
2020-03-14[ #4324, stackage ] Bumped LTS for GHC 8.8.2 (15.2 -> 15.3).Andrés Sicard-Ramírez
2020-03-14[ closed-issues-by-milestone ] Excluded label `github-workflows`.Andrés Sicard-Ramírez
2020-03-14[ #4324 ] Updated Read the Docs links.Andrés Sicard-Ramírez
2020-03-14Updated releases notes.Andrés Sicard-Ramírez
2020-03-14[ #4476 ] Updated GitHub workflows.Andrés Sicard-Ramírez
2020-03-12Fixed #4471.Nils Anders Danielsson
2020-03-12Removed Agda.Utils.IO.UTF8.hPutStr, which was only used twice.Nils Anders Danielsson
2020-03-11[ doc ] minor changesFabian
2020-03-07[ #4324, stackage ] Bumped LTS for GHC 8.8.2 (15.1 -> 15.2).Andrés Sicard-Ramírez
2020-03-07Updated releases procedures.Andrés Sicard-Ramírez
2020-03-07[ #4324, user manual ] Updated the copyright year range.Andrés Sicard-Ramírez
2020-03-07[ #4324, LICENSE ] Updated the copyright year range.Andrés Sicard-Ramírez
2020-03-07[ #4324, CHANGELOG ] Updated the list of closed issues.Andrés Sicard-Ramírez
2020-03-07[ #3855 ] Added issue number to the CHANGELOG.Andrés Sicard-Ramírez
2020-03-06[ #4473 ] Fixed typo.Andrés Sicard-Ramírez
generated by cgit v0.10.2-6-g49f6 at 2024-04-25 11:33:01 (GMT)