Match stdlib-2.0

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 cabal and 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

match stdlib-1.7.2

Merge pull request #372 from jpoiret/update-agda-stdlib

Bump Agda to 2.6.3 and stdlib to 1.7.2

To match stdlib-1.7.1

This is just a compatibility release.

Release to go with stdlib-1.7

Redo as last one was missing a file.

Release to go with stdlib-1.7

Merge pull request #288 from Akshobhya1234/master

Version compatible to stdlib 1.7 and agda 2.6.2

Release to go with stdlib-1.6

There are here too quite a few new things, but a description of all of that will have to wait a bit more.

Release to go with stdlib-1.5

There are both quite a few new features in this release, as well as a number of adjustments to make it fit with stdlib-1.5.

release of 0.1.4

work with 0.1.4 version of standard library

Patch the patch release

This one was fully tested on a fresh machine with a fresh install.

Patch previous release to actually work with 2.6.1 and 1.3

A few more commits were needed.