Minor edits.

2022-08-15 16:20:59 -07:00
parent d0a253c503
commit 3883cac99a
6 changed files with 35 additions and 18 deletions
@@ -316,7 +316,7 @@ The other sub-programs would be cancelled.
 “Fulminators”
 ^^^^^^^^^^^^^

-Also known as “Futures” or “Promises” (by *everybody* else. “Fulinators”
+Also known as “Futures” or “Promises” (by *everybody* else. “Fulminators”
 is what I was going to call them when I was thinking about implementing
 them in Thun.)