Commit 04f6ff3

committed

Refactor Epoch in Dijkstra to follow Conway

1 parent 687b967 commit 04f6ff3Copy full SHA for 04f6ff3

2 files changed

src/Ledger/Dijkstra/Specification
- Epoch.lagda.md
- Epoch/Properties
  - Computational.lagda.md

Comments

(0)