diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-05-14 07:43:53 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-14 07:43:53 -0400 |
| commit | 8a64b4b7a1a721b0d8034195ba718aed6992241e (patch) | |
| tree | 5abe71a675e02806482105957bd5c8f20fb97aca /commentary | |
| parent | f13a4160801d23877c755717057fb35ee76dc120 (diff) | |
| parent | e9fd7e6f6bc6d67fe16ea49b738481e0d4c61fac (diff) | |
Merge pull request #67 from paulapatience/bug/typos
Fix typos and an awkward formulation
Diffstat (limited to 'commentary')
| -rw-r--r-- | commentary/history.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/commentary/history.md b/commentary/history.md index 13cd2151..fe7b38e6 100644 --- a/commentary/history.md +++ b/commentary/history.md @@ -66,7 +66,7 @@ I picked out the ligature character `‿` between YAG meetings, but I think Rich #### Double-struck special names -There was a lot of discussion about names for arguments at YAG (no one liked alpha and omega); I think Nathan Rogers suggested using Unicode's mathematical variants of latin letters and I picked out the double-struck ones. My impression is that we were approaching a general concensus that "w" and "x" were the best of several bad choices of argument letters, but that I was the first to commit to them. +There was a lot of discussion about names for arguments at YAG (no one liked alpha and omega); I think Nathan Rogers suggested using Unicode's mathematical variants of latin letters and I picked out the double-struck ones. My impression is that we were approaching a general consensus that "w" and "x" were the best of several bad choices of argument letters, but that I was the first to commit to them. #### Assert primitive |