478 was getting too big, so I'm migrating stuff here.
[x] "Figure 38: EPOCH transition system"
[x] doesn't fit on page; adding horizontal vector support to
agda2vec script and making the first two vertical vectors in
the figure horizontal should help.
[ ] It might make sense to replace some record construction with
vertical vectors
[x] Alignment is broken in certDeposit, Fig. 12
[x] Some unnecessary line breaks after vertical vectors.
478 was getting too big, so I'm migrating stuff here.
agda2vec
script and making the first two vertical vectors in the figure horizontal should help.record
construction with vertical vectorscertDeposit
, Fig. 12stakeDistr
LEDGER