← Feed @MartinEscardo@mathstodon.xyz 2026-08-03 10:45 UTC @jesper@agda.club Yay! Well done and well deserved. Replies (0) No replies.