IntersectMBO / IntersectMBO/formal-ledger-specifications
Add links to libraries used by this spec to the README
Open
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
It would be really convenient for looking things up if all the relevant libraries were linked directly in the README
Including :
- standard-library
- agda-stdlib-classes
- agda-stdlib-meta
- agda-sets
Contributor guide
Assessment
This issue has not been assessed yet.