Invariant post#9

Draft

whilo wants to merge 8 commits intomasterfrom

feature/invariant-post

Commits on Jun 4, 2019

Add first sketch of invariant draft.
whilo
committed

Commits on Sep 3, 2019

Commits on Sep 4, 2019

s/wildly/widely/
whilo
committed

Commits on Sep 19, 2019

Update draft.
whilo
committed

Commits on Jun 15, 2020

Fill in missing bits and text for first draft.
whilo
committed

Commits on Jul 14, 2020

Styling / Minor Wording Changes (#10)
moea
authored