Type-classes for the Agda standard library

Browse the Agda code in HTML here.

Version compatibility

We mirror the version numbers of agda-stdlib.

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

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