2020-08-27 14:59:52 (GMT)
We are now one week before the next bookclub. Ahmed's proposal "A unified ordering for termination proving" is the one that currently has the most votes. Shall we go with it? (If yes, the link by Jasmin has no paywall and appears identical in content so we could all use that one so that when we discuss, we can locate things by page number)
2020-08-27 15:2:5 (GMT)
I guess so! Unless someone asks for a revote :)
2020-08-27 15:8:21 (GMT)
At first I read "revolt" and was alarmed. You never know with the French. ;)
2020-08-27 15:28:33 (GMT)
(looking for the :bayonette: emoji…)
2020-08-27 15:29:30 (GMT)
:guillotine:
2020-09-02 15:14:38 (GMT)
Sadly, I am not going to be able to join tomorrow's discussion.
2020-09-03 11:29:19 (GMT)
Today's link: https://jitsi.mpi-klsb.mpg.de/bookclub8_WPO
2020-09-03 13:3:56 (GMT)
Happening now!
2020-09-03 13:18:4 (GMT)
2020-09-03 13:24:6 (GMT)
I'd be curious to hear what the E devs ( :wave: @Petar Vukmirovic @Stephan Schulz ) think of that! :smile:
2020-09-03 13:30:25 (GMT)
Me too! First time I hear of it...
2020-09-03 13:33:7 (GMT)
Haven't you heard of our lord and savior, WPO (the Wonderful Prolific Ordering)¿‽