Wednesday Meeting, 2026 07 01

Wednesday Meeting, 2026-06-24

Online via Teams

Attending

• Reinis Cirpons
• Joe Edwards
• James Mitchell
• Joe Ward

Minutes

Participant	Activity
Reinis Cirpons	Helping James debug some morpho-completion things
Joe Edwards	Helping James debug some morpho-completion things
James Mitchell	Trying to debug some morpho-completion things
Joe Ward	Writing some doc and benchmarks for graph-inverse-semigroup congruence stuff

The meeting began at 14:00, and ended around 17:00. Despite the meeting starting on Teams, all of the attendees were in the Maths Institute, so they congregated in James' office.