HEIR meeting 2023-11-28

Notes from the 2023-11-28 HEIR meeting.

Here are the notes and video recording from the HEIR meeting on 2023-11-28.

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