IntersectMBO / IntersectMBO/formal-ledger-specifications
Record why records are used instead of products
Open
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
We had a lively discussion at the agda workshop about this. It would be good to record why this decision was taken and perhaps it's good to in general explain (possibly in an appendix) in the spec where the new spec deviates from the old spec in style
Contributor guide
Assessment
This issue has not been assessed yet.