omelkonian / agda-stdlib-classes

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

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

Minor revisions will append to these major versions (e.g. v1.7.3b or v1.7.3.10).