IntersectMBO / IntersectMBO/formal-ledger-specifications
Give proper implmementations to the functions in `AbstractFunctions`
Open
conformance
era: conway
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
The `HSAbstractFunctions` implementation for `AbstractFunctions` has a lot of placeholder functions. These functions should be implemented properly or passed to the spec from the implementation via `ExternalFunctions`.
https://github.com/IntersectMBO/formal-ledger-specifications/blob/d406853c4ef78b446a6eb76272d52a0e8b2b17ad/src/Ledger/Conway/Foreign/HSLedger/Core.agda#L204-L220
Contributor guide
Assessment
This issue has not been assessed yet.