Dan Smith Wed, 12 Jul 2023 08:11:38 -0700
An EG meeting will be held today, July 12, at 4pm UTC (9am PDT, 12pm EDT).
Brian recently shared a summary about side-channel refinement types as a replacement for Q types. We can discuss this further, as interested.
