On Saturday, 18 August 2018 at 07:50:04 UTC, Dukc wrote: > On Thursday, 16 August 2018 at 14:11:20 UTC, Andrei > Alexandrescu wrote: >> we're working on a HOPL submission. > > What's HOPL? https://hopl4.sigplan.org, presumably. —David