Wednesday Meeting, 2026 03 04 - semigroups/Semigroups GitHub Wiki
Wednesday Meeting, 2026-03-04
Lecture Theatre D
Attending
- Reinis Cirpons
- Joe Edwards
- Josh James
- James Mitchell
Apologies:
- Michael Young
Minutes
| Participant | Activity |
|---|---|
| Reinis Cirpons | Formalising HNN extensions, opening a French bank account |
| Joe Edwards | Working on some action issues, and talking to James |
| Josh James-Lee | Working on PR for Yggdrasil |
| James Mitchell | Manifesting successful PR runs and fixing some type hints |
The meeting began at 14:00 and ended slightly earlier at 16:00, due to the small number of attendees. Some attendees joined virtually via Teams.