← Feed @jesper@agda.club 2026-03-27 18:59 UTC @Aissen @jana I had a preview of this talk in Delft on Wednesday, it was a really great one! Replies (0) No replies.