HEIR meeting 2024-01-25

Notes from the 2024-01-25 HEIR meeting.

Here are the notes and video recording from the HEIR meeting on 2024-01-25.

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