Fix links in Rewards module; migrate Transaction#935

Merged

williamdemeo merged 4 commits intomasterfrom

934-broken-links-and-formatting-errors

Oct 2, 2025

Commits on Oct 1, 2025

Commits on Oct 2, 2025

Update src/Ledger/Conway/Specification/Transaction.lagda.md

williamdemeo
and
carlostome
committed