← Feed @SamToth@mathstodon.xyz Post #2093348 2026-03-11 14:04 UTC Is there an award somewhere for most cursed Agda snippet?? Replies (0) No replies.