GitHub repository: omelkonian/agda-stdlib-classes
Primary language: Agda
Description: Extension of Agda's standard library to accommodate a more typeclass-friendly interface.