IntersectMBO / formal-ledger-specifications

Formal specifications of the cardano ledger

Apache License 2.0

32 stars 13 forks source link

bugfix: formatting for mkStakeDistrs and others in Epoch #474

Closed williamdemeo closed 2 weeks ago

williamdemeo commented 2 weeks ago

Description

This closes #472 by addressing the two problems revealed by the new code:

[X] the pattern after the vector shouldn't be on a new line
[X] the pattern is repeated three times

The example shown in the issue should now be typeset as in the screenshot below.

mkStakeDistr

Checklist

[X] Commit sequence broadly makes sense and commits have useful messages
[X] Code is formatted according to CONTRIBUTING.md
[X] Self-reviewed the diff