agda-categories - 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 https://github.com/agda/agda-categories/pull/373
• added unique choice by @sergey-goncharov in https://github.com/agda/agda-categories/pull/374
• Simplify HomReasoning sequences for Comma categories by @Taneb in https://github.com/agda/agda-categories/pull/376
• Remove broken, unused, AllProducts and IndexedProduct by @Taneb in https://github.com/agda/agda-categories/pull/377
• Cleanup proofs in Kleisli category construction by @Taneb in https://github.com/agda/agda-categories/pull/378
• small improvements to Morphism.Reasoning by @JacquesCarette in https://github.com/agda/agda-categories/pull/379
• Improve level polymorphism in one place. by @JacquesCarette in https://github.com/agda/agda-categories/pull/380
• add kleisli triple by @Reijix in https://github.com/agda/agda-categories/pull/381
• Create dependabot.yml by @JasonGross in https://github.com/agda/agda-categories/pull/385
• Bump haskell/actions from 1 to 2 by @dependabot in https://github.com/agda/agda-categories/pull/386
• Bump JamesIves/github-pages-deploy-action from 4.1.3 to 4.4.3 by @dependabot in https://github.com/agda/agda-categories/pull/387
• Bump actions/checkout from 2 to 3 by @dependabot in https://github.com/agda/agda-categories/pull/388
• Update Extensive.agda by @sergey-goncharov in https://github.com/agda/agda-categories/pull/384
• Distributive Category by @Reijix in https://github.com/agda/agda-categories/pull/383
• Nno by @sergey-goncharov in https://github.com/agda/agda-categories/pull/392
• Graded monads by @sstucki in https://github.com/agda/agda-categories/pull/390
• Bump actions/checkout from 3 to 4 by @dependabot in https://github.com/agda/agda-categories/pull/395
• Parametrized NNO by @Reijix in https://github.com/agda/agda-categories/pull/394
• Added proof of iso from section and retraction by @jmarkakis in https://github.com/agda/agda-categories/pull/398
• CI: Updated cached paths for cabal and update Haskell config action dep by @balacij in https://github.com/agda/agda-categories/pull/399
• CI: Add build caching for agda-stdlib and agda-categories to improve CI build time by @balacij in https://github.com/agda/agda-categories/pull/400
• Bump JamesIves/github-pages-deploy-action from 4.4.3 to 4.5.0 by @dependabot in https://github.com/agda/agda-categories/pull/403
• Bump stdlib to 2.0 by @Taneb in https://github.com/agda/agda-categories/pull/406

New Contributors

• @Reijix made their first contribution in https://github.com/agda/agda-categories/pull/381
• @JasonGross made their first contribution in https://github.com/agda/agda-categories/pull/385
• @dependabot made their first contribution in https://github.com/agda/agda-categories/pull/386
• @jmarkakis made their first contribution in https://github.com/agda/agda-categories/pull/398
• @balacij made their first contribution in https://github.com/agda/agda-categories/pull/399

Full Changelog: https://github.com/agda/agda-categories/compare/v0.1.7.2...v0.2.0

- Agda
Published by JacquesCarette over 2 years ago

agda-categories - match stdlib-1.7.2

- Agda
Published by HuStmpHrrr about 3 years ago

agda-categories - To match stdlib-1.7.1

This is just a compatibility release.

- Agda
Published by JacquesCarette over 3 years ago

agda-categories - Release to go with stdlib-1.7

Redo as last one was missing a file.

- Agda
Published by JacquesCarette almost 5 years ago

agda-categories - Release to go with stdlib-1.7

- Agda
Published by JacquesCarette almost 5 years ago

agda-categories - 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.

- Agda
Published by JacquesCarette about 5 years ago

agda-categories - 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.

- Agda
Published by JacquesCarette over 5 years ago

agda-categories - release of 0.1.4

work with 0.1.4 version of standard library

- Agda
Published by HuStmpHrrr almost 6 years ago

agda-categories - Patch the patch release

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

- Agda
Published by JacquesCarette about 6 years ago

agda-categories - Patch previous release to actually work with 2.6.1 and 1.3

A few more commits were needed.

- Agda
Published by JacquesCarette about 6 years ago

agda-categories - Release to go with agda-2.6.1 and stdlib-1.3

The library at this version works with agda-2.6.1 and stdlib-1.3.

- Agda
Published by JacquesCarette about 6 years ago

agda-categories - release of v0.1

This is release v0.1 which depends on agda-stdlib v1.1.

Please note that this library is still under development and the stability of the library is not guaranteed.

- Agda
Published by HuStmpHrrr over 6 years ago