-
Notifications
You must be signed in to change notification settings - Fork 36
Wednesday Meeting, 2023 11 15
reiniscirpons edited this page Jan 10, 2024
·
1 revision
- Reinis Cirpons
- Joe Edwards
- James Mitchell
- Finn Smith
- Maria Tsalakou
- Murray Whyte
- Michael Young
| Participant | Activity |
|---|---|
| Reinis Cirpons | Working on 1-relation paper. |
| Joe Edwards | Marking, trying to write an improved implementation of clear_stack for rewriting systems. |
| James Mitchell | Picking up Alfie. |
| Finn Smith | Marking, doing various 2501 related things and possibly looking at the matrix paper. |
| Maria Tsalakou | Marking. |
| Murray Whyte | Marking. |
The meeting began at about 13:55, and ended at about 17:30.