← Feed @cxandru@types.pl Post #2044538 2026-05-05 21:15 UTC Slides for my talk at #TYPES tomorrow are now up on my website (https://cxandru.ee/) Replies (0) No replies.