Build #742 (Feb 22, 2024, 11:55:34 PM)

1. more proofreading on enumeration thesis (details)
2. The two argument form of the conditional operator now only has two arguments all the way to the resolver. (details)
3. Forgot to update comments from the last commit. (details)

Started by upstream project Cforall Full Build build number 2798
originally caused by:

• Started by timer

• refs/remotes/origin/master