HEIR meeting 2023-11-07
Notes from the 2023-11-07 HEIR meeting.
Here are the notes and video recording from the HEIR meeting on 2023-11-07.
Last modified August 25, 2024: add pre-commit hook for markdown formatter (290c3617)
Here are the notes and video recording from the HEIR meeting on 2023-11-07.