HEIR meeting 2023-08-15
Notes from the 2023-08-15 HEIR meeting.
Here are the notes and video recording from the HEIR meeting on 2023-08-15.
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-08-15.