Commit 53f5072

committed

final cleanup

1 parent b931c7e commit 53f5072Copy full SHA for 53f5072

1 file changed

src/Ledger/Conway/Specification/Chain/Properties
- EventuallyRefunded.lagda.md

Comments

(0)