GitHub - agda/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.

We mirror the version numbers of agda-stdlib.

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

Name	Name	Last commit message	Last commit date
Latest commit omelkonian DecEq: polish Refinement instance Mar 27, 2025 aa62ce6 · Mar 27, 2025 History 50 Commits
.github/workflows	.github/workflows	Bump to agda-2.7.0.1/stdlib-2.2	Mar 6, 2025
Class	Class	DecEq: polish Refinement instance	Mar 27, 2025
Test	Test	Tidy up: s/Set/Type + flags + levels	Nov 26, 2024
.gitignore	.gitignore	Migrate from formal-prelude.	Nov 2, 2023
LICENCE	LICENCE	Add MIT licence	Mar 26, 2024
README.md	README.md	Bump to agda-2.7.0.1/stdlib-2.2	Mar 6, 2025
agda-stdlib-classes.agda-lib	agda-stdlib-classes.agda-lib	With-K by default to include Class.DecEq.WithK in main file.	Nov 9, 2023
standard-library-classes.agda	standard-library-classes.agda	Monotonicity and modalities for predicates over types with orders (#10 )	Feb 20, 2025