search

johnmcfarlane / papers

9 stars 1 forks source link

Discuss `reduce` and general 'lazy' approach #13

Open johnmcfarlane opened 6 years ago

johnmcfarlane commented 6 years ago

LEWG minutes: "Are they being reduced?" / "Why is this design better than the class design, which reduces after every operation."