← Feed @jonmsterling@mathstodon.xyz 2026-08-03 08:22 UTC @jesper@agda.club great news ! :) Replies (0) No replies.