← Feed @danielgratzer@mathstodon.xyz Post #2334014 2026-05-08 08:39 UTC Slides from my talk today at TYPES: https://www.danielgratzer.com/papers/types-2026-slides.pdf Replies (0) No replies.