Skip to content

Wednesday Meeting, 2026 07 08

Jump to bottom
Joseph Edwards edited this page Jul 15, 2026 · 1 revision

Wednesday Meeting, 2026-07-08

Lecture Theatre D

Attending

  • Joe Edwards
  • James Mitchell

Minutes

The meeting began at 14:00. After waiting for around an hour, few people had turned up, so Joe and James went to James' office to work on some KnuthBendix things.

Clone this wiki locally