HEIR meeting 2023-09-12

Notes from the 2023-09-12 HEIR meeting.

Here are the notes and video recording from the HEIR meeting on 2023-09-12.

Last modified August 25, 2024: add pre-commit hook for markdown formatter (290c3617)