Commit c167cba

committed

old version of Ledger PoV

1 parent 1a81fac commit c167cbaCopy full SHA for c167cba

1 file changed

src/Ledger/Dijkstra/Specification/Ledger/Properties
- PoV.lagda.md

Comments

(0)