← Feed @olynch@mathstodon.xyz Post #2590498 2026-04-18 08:50 UTC @constantine@types.pl @trebor@types.pl @jonmsterling@mathstodon.xyz Really cool! I wish I knew more Agda so I could understand this better... Replies (0) No replies.