Commit 16c1142

committed

address Copilot review + minor improvements

1 parent d14e4fe commit 16c1142Copy full SHA for 16c1142

2 files changed

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

Comments

(0)

Navigation Menu