-
Notifications
You must be signed in to change notification settings - Fork 35
Wednesday Meeting, 2022 08 31
Reinis Cirpons edited this page Sep 7, 2022
·
1 revision
- Reinis Cirpons
- Euan Lacy
- James Mitchell
- Finn Smith
- Maria Tsalakou
| Participant | Activity |
|---|---|
| Reinis Cirpons | Continuing to implementi homotopical completion procedure for semigroup presentations, reviewing pull requests. |
| Euan Lacy | Discussing email conversation with James, adding improvements to libsemigroups. |
| James Mitchell | Writing code for the congruences paper, opening a series of small pull requests to libsemigroups, looking at Finns pull requests. |
| Finn Smith | Preparing stuff for teaching. |
| Maria Tsalakou | Writing a proof for the congruences paper and talking to James. |
The meeting began at about 14:05, and ended at about 17:30.