Skip to content

Wednesday Meeting, 2026 06 03

Joseph Edwards edited this page Jun 3, 2026 · 1 revision

Wednesday Meeting, 2026-06-03

Online via Teams

Attending

  • Reinis Cirpons
  • Joe Edwards

Apologies

  • James Mitchell
  • Michael Young

Minutes

Participant Activity
Reinis Cirpons Finishing tweaks to Digraphs EdgeConnectivity PR
Joe Edwards Looking into alphabet order and rule order for ToddCoxeter

The meeting began at 14:00, and ended around 16:10. This was the first of several online-only meetings due to work taking place in Lecture Theatre D.

Clone this wiki locally