Skip to content

Commit

Permalink
Editorial: unify the wording used to introduce abstract operations (#…
Browse files Browse the repository at this point in the history
…1914)

The intent is that the new wording should provide all and only the information in the current wording (except in a couple cases where the existing wording is obviously wrong)
  • Loading branch information
bakkot authored and ljharb committed Apr 8, 2020
1 parent d0583d8 commit a3a9551
Showing 1 changed file with 346 additions and 346 deletions.
Loading

0 comments on commit a3a9551

Please sign in to comment.