@jesper@agda.club good to know. Why ICFP is happening in the US at this point in time is beyond me, so having this happen in Paris is nice.