Commit 5d054ab

committed

old version of Ledger PoV

1 parent 52de5be commit 5d054abCopy full SHA for 5d054ab

1 file changed

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

Comments

(0)