IntersectMBO / IntersectMBO/formal-ledger-specifications
Split the conformance model to a separate package
Open
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
Arguably, the Conway specification should not discuss the Haskell implementation. Since the conformance model is an implementation concern, it should be kept elsewhere.
Contributor guide
Assessment
This issue has not been assessed yet.