johnmcfarlane / papers

9 stars 1 forks source link

Detail all operators #16

Open johnmcfarlane opened 6 years ago

johnmcfarlane commented 6 years ago

LEWG minutes:

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