On 8/18/2018 8:55 AM, David Nadlinger wrote: > On Saturday, 18 August 2018 at 07:50:04 UTC, Dukc wrote: >> What's HOPL? > > https://hopl4.sigplan.org, presumably. —David That's right.