Commit 3cc8b70

committed

old version of Ledger PoV

1 parent a83eb57 commit 3cc8b70Copy full SHA for 3cc8b70

1 file changed

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

Comments

(0)