IntersectMBO / IntersectMBO/formal-ledger-specifications
Should we have a `Composable` type class?
Open
discussion
documentation
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
We use `∘₂`. We have the following options:
- Explain it in the PDF.
- Make a `Composable` type class.
- Make an alternative name that renders as `∘`.
Contributor guide
Assessment
This issue has not been assessed yet.