From e9fd7e6f6bc6d67fe16ea49b738481e0d4c61fac Mon Sep 17 00:00:00 2001 From: "Paul A. Patience" Date: Fri, 13 May 2022 22:06:04 -0400 Subject: Fix typos and an awkward formulation --- commentary/history.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'commentary') 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 -- cgit v1.2.3