johnmcfarlane/papers

Detail all operators

Opened this issue · 0 comments

LEWG minutes:

  • "*= and other operators are missing."

Also, explain what's actually going on, e.g. WRT lazy reduction, probably just in the wording.