Note that this README is only about Agda, not its standard library. See the Agda Wiki for information about the library.
- User manual (per-commit pdf can be downloaded from the github actions page)
- CHANGELOG
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Note that this README is only about Agda, not its standard library. See the Agda Wiki for information about the library.