IntersectMBO / IntersectMBO/formal-ledger-specifications
Combine Sections 1 and 2
Open
documentation
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
Sections 1 and 2 of the PDF introduce Agda and the (Agda) notation used in the PDF.
The audit suggests that explanations will be more clear if these two sections are refactored into a consistent unit.
Contributor guide
Assessment
This issue has not been assessed yet.