2020-05-18 5:18:15 (GMT)
Since we're often about 10 people showing up, I propose we always meet every two weeks at the same time, unless there's a holiday or something. That makes synchronization easier. I've updated the stream heading accordingly.
2020-05-18 15:11:21 (GMT)
So far, labelled clauses have the most votes - if you want something else, please set your vote till midnight CET today :)
2020-05-19 4:53:50 (GMT)
With 5 votes, Labelled Clauses looks like the winner.
2020-05-19 5:59:5 (GMT)
Are we reading this version: https://www.researchgate.net/publication/47865704_Labelled_Clauses ?
2020-05-20 21:40:26 (GMT)
Test: this is !timestamp(2020-05-28 15:00 CET)
(I'm testing this)