https://github.com/agda/agda-stdlib-classes

Extension of Agda's standard library to accommodate a more typeclass-friendly interface.
https://github.com/agda/agda-stdlib-classes

Last synced: 4 months ago
JSON representation

Extension of Agda's standard library to accommodate a more typeclass-friendly interface.

• Host: GitHub
• URL: https://github.com/agda/agda-stdlib-classes
• Owner: agda
• License: mit
• Created: 2023-10-30T16:21:30.000Z (over 2 years ago)
• Default Branch: master
• Last Pushed: 2025-07-31T14:16:19.000Z (10 months ago)
• Last Synced: 2025-07-31T18:04:49.758Z (10 months ago)
• Language: Agda
• Homepage: https://agda.github.io/agda-stdlib-classes/
• Size: 25.7 MB
• Stars: 3
• Watchers: 2
• Forks: 3
• Open Issues: 6
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
## Type-classes for the Agda standard library [![CI](https://github.com/agda/agda-stdlib-classes/workflows/CI/badge.svg)](https://github.com/agda/agda-stdlib-classes/actions)

Browse the Agda code in HTML [here](https://agda.github.io/agda-stdlib-classes).

## Version compatibility

We mirror the version numbers of [agda-stdlib](https://github.com/agda/agda-stdlib).

| **agda** | **agda-stdlib** | **agda-stdlib-classes** |

|----------|-----------------|-------------------------|

| [v2.6.3](https://github.com/agda/agda/releases/tag/v2.6.3) | [v1.7.2](https://github.com/agda/agda-stdlib/releases/tag/v1.7.2) | [v1.7.2](https://github.com/agda/agda-stdlib-classes/releases/tag/v1.7.2) |

| [v2.6.4](https://github.com/agda/agda/releases/tag/v2.6.4) | [v1.7.3](https://github.com/agda/agda-stdlib/releases/tag/v1.7.3) | [v1.7.3](https://github.com/agda/agda-stdlib-classes/releases/tag/v1.7.3) |

| [v2.6.4](https://github.com/agda/agda/releases/tag/v2.6.4) | [v2.0](https://github.com/agda/agda-stdlib/releases/tag/v2.0) | [v2.0](https://github.com/agda/agda-stdlib-classes/releases/tag/v2.0) |

| [v2.7.0](https://github.com/agda/agda/releases/tag/v2.7.0) | [v2.1.1](https://github.com/agda/agda-stdlib/releases/tag/v2.1.1) | [v2.1.1](https://github.com/agda/agda-stdlib-classes/releases/tag/v2.1.1) |

| [v2.7.0.1](https://github.com/agda/agda/releases/tag/v2.7.0.1) | [v2.2](https://github.com/agda/agda-stdlib/releases/tag/v2.2) | [v2.2](https://github.com/agda/agda-stdlib-classes/releases/tag/v2.2) |

| [v2.8.0](https://github.com/agda/agda/releases/tag/v2.8.0) | [v2.3](https://github.com/agda/agda-stdlib/releases/tag/v2.3) | [v2.3](https://github.com/agda/agda-stdlib-classes/releases/tag/v2.3) |

Minor revisions will append to these major versions (e.g. `v2.1.1b` or `v2.1.1.10`).