Wednesday Meeting, 2020 05 13 - semigroups/Semigroups GitHub Wiki
Wednesday Meeting, 2020-05-13
Lecture Theatre D
Attending
- Luke Elliott
- James Mitchell
- Chris Russell
- Finn Smith
- Maria Tsalakou
Apologies
Minutes
| Participant | Activity |
|---|---|
| Luke Elliott | Working on folding things |
| James Mitchell | Continue looking at cppyy bindings, particularly making Knuth-Bendix work properly. |
| Chris Russell | Getting back to us |
| Finn Smith | Writing about BMats |
| Maria Tsalakou | PR for new Dijkstra things |
The meeting began at about 14:05, and finished at about 17:00.