Commit d2e94ef

committed

Spellcheck CHANGELOG (agda#2167)

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

1 parent aeed7d5 commit d2e94efCopy full SHA for d2e94ef

1 file changed

+215

-215

lines changed

+215

-215

lines changed

Comments

(0)