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

• Follow the GitHub flow.
• Follow the Conventional Commits Specification

Create an issue

• Bug report
• Feature request

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.

• Follow the GitHub flow.
• Follow the Conventional Commits Specification