v2.0-rc1 spellcheck#2167

Merged

MatthewDaggitt merged 3 commits intoagda:masterfrom

jamesmckinna:rc1-spellcheck

Oct 20, 2023

Commits on Oct 19, 2023

spellcheck; `fix-whitespace`; unfixed: a few alignment issues; typo `predications` to `predicates` in `Relation.Unary.Relation.Binary.Equality`
jamesmckinna
committed
Revert "spellcheck; `fix-whitespace`; unfixed: a few alignment issues; typo `predications` to `predicates` in `Relation.Unary.Relation.Binary.Equality`"
jamesmckinna
committed
spellcheck; `fix-whitespace`; unfixed: a few alignment issues; typo `predications` to `predicates` in `Relation.Unary.Relation.Binary.Equality`
jamesmckinna
committed