IntersectMBO / IntersectMBO/formal-ledger-specifications
Convertible instance for collateral percentage parameter defaults to zero for `from`
Open
bug
conformance
era: conway
haskell interface
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
This PParam is present on the Haskell side too, so we should probably revisit its translation implementation.
Contributor guide
Assessment
This issue has not been assessed yet.