IntersectMBO / IntersectMBO/formal-ledger-specifications
Alonzo documentation
Open
documentation
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
These are Alonzo-era things which are currently undocumented here, but are documented in the Alonzo spec. These need to be documented when we want to produce a spec that includes Alonzo from our code base.
Some offenders:
- [ ] Figure 3 missing `PolicyID` as abstract type (or probably should
explain the special font for abstract types at least)
- [ ] `Tag` type
- [ ] `totExUnits`
Contributor guide
Assessment
This issue has not been assessed yet.