How to Contribute

Contribute to agda-algebras, improve documentation, or submit new code.

👉 Make sure to read the Code of Conduct.

Contribute to Doks

👉 The agda-algebras code lives in the ualib/agda-algebras repository

Create an issue

Improve documentation

👉 The agda-algebras documentation is generated from literate Agda source code files which lives in the ./src subdirectory of the agda-algebras repository.