HEIR meeting 2023-08-01

Notes from the 2023-08-01 HEIR meeting.

The fourth HEIR meeting was 2023-08-01 (notes and video recording).

We’re also starting on the Poly and Secret dialects in #74 (poly) and #78 (secret), so please join in the fun!

Last modified August 3, 2023: HEIR meeting blog post 2023-08-01 (8ac4e22)