HEIR meeting 2023-08-29
Notes from the 2023-08-29 HEIR meeting.
Here are the notes from the HEIR meeting on 2023-08-29. There was an issue with the recording, so there is no video recording this week.
Last modified August 25, 2024: add pre-commit hook for markdown formatter (290c3617)