This is synchronized with agda-stdlib-2.0
What's Changed
- the naturality conditions for ann and distrib were missing. by @JacquesCarette in #373
- added unique choice by @sergey-goncharov in #374
- Simplify HomReasoning sequences for Comma categories by @Taneb in #376
- Remove broken, unused, AllProducts and IndexedProduct by @Taneb in #377
- Cleanup proofs in Kleisli category construction by @Taneb in #378
- small improvements to Morphism.Reasoning by @JacquesCarette in #379
- Improve level polymorphism in one place. by @JacquesCarette in #380
- add kleisli triple by @Reijix in #381
- Create dependabot.yml by @JasonGross in #385
- Bump haskell/actions from 1 to 2 by @dependabot in #386
- Bump JamesIves/github-pages-deploy-action from 4.1.3 to 4.4.3 by @dependabot in #387
- Bump actions/checkout from 2 to 3 by @dependabot in #388
- Update Extensive.agda by @sergey-goncharov in #384
- Distributive Category by @Reijix in #383
- Nno by @sergey-goncharov in #392
- Graded monads by @sstucki in #390
- Bump actions/checkout from 3 to 4 by @dependabot in #395
- Parametrized NNO by @Reijix in #394
- Added proof of iso from section and retraction by @jmarkakis in #398
- CI: Updated cached paths for
cabaland update Haskell config action dep by @balacij in #399 - CI: Add build caching for agda-stdlib and agda-categories to improve CI build time by @balacij in #400
- Bump JamesIves/github-pages-deploy-action from 4.4.3 to 4.5.0 by @dependabot in #403
- Bump stdlib to 2.0 by @Taneb in #406
New Contributors
- @Reijix made their first contribution in #381
- @JasonGross made their first contribution in #385
- @dependabot made their first contribution in #386
- @jmarkakis made their first contribution in #398
- @balacij made their first contribution in #399
Full Changelog: v0.1.7.2...v0.2.0
Contributors
JasonGross, balacij, and 7 other contributors