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 25, 2024: add pre-commit hook for markdown formatter (290c3617)