README.md

August 5, 2025 ยท View on GitHub

Type-classes for the Agda standard library CI

Browse the Agda code in HTML here.

Version compatibility

We mirror the version numbers of agda-stdlib.

agdaagda-stdlibagda-stdlib-classes
v2.6.3v1.7.2v1.7.2
v2.6.4v1.7.3v1.7.3
v2.6.4v2.0v2.0
v2.7.0v2.1.1v2.1.1
v2.7.0.1v2.2v2.2
v2.8.0v2.3v2.3

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

Contents

  1. 1Type-classes for the Agda standard library
  2. 2Version compatibility