IntersectMBO / IntersectMBO/formal-ledger-specifications
Naming conventions for state-like record constructors
Open
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
There seems to be no convention on the naming of record constructors for state-like record types. This make it hard to mentally navigate some of the rules.
We currently have:
```agda
⟦_,_,_,_,_⟧ᵉ' for EpochState
⟦_,_,_,_⟧ᵘ for UTxOState
⟦_,_,_⟧ᵈ for DState
⟦_,_,_⟧ˡ for LState
```
(There are probably more)
Contributor guide
Assessment
This issue has not been assessed yet.