← Feed @jesper@agda.club Post #872128 2025-12-15 09:50 UTC @anuytstt apparently I'm 4 days late already mastoxiv.page/@arXiv_csLO_bot/115699812365501592 Replies (0) No replies.