-
Notifications
You must be signed in to change notification settings - Fork 36
Wednesday Meeting, 2020 05 13
Finn Smith edited this page May 20, 2020
·
1 revision
- Luke Elliott
- James Mitchell
- Chris Russell
- Finn Smith
- Maria Tsalakou
| 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.