PDF specs

• cardano-ledger.pdf
• conway-ledger.pdf
• midnight-example.pdf

HTML specs

• Ledger.PDF.html
• MidnightExample.PDF.html

Haskell tests

• UtxowSpec.hs
• LedgerSpec.hs