Commit 3861b38

William DeMeo

committed

replacing with hand-tweaked generated .lagda.md

1 parent 72ef0ec commit 3861b38Copy full SHA for 3861b38

1 file changed

+330

-303

lines changed

src/Ledger
- Introduction.lagda.md

1 file changed

+330

-303

lines changed

Comments

(0)