Pull requests: IntersectMBO/formal-ledger-specifications
Pull requests list
[Dijkstra] CIP-159-03: Add helper for
DState to support account balances and direct deposits
#1126
opened Mar 13, 2026 by
williamdemeo
•
Draft
5 of 9 tasks
mkdocs site nice-to-have: hover-over for Agda tokens
documentation
Improvements or additions to documentation
#947
opened Oct 10, 2025 by
williamdemeo
•
Draft
4 tasks
ProTip!
no:milestone will show everything without a milestone.