← Feed @pounce@types.pl Post #4309873 2026-07-17 13:08 UTC higher category theory is when your types are more dependent and the more dependent your types are the higher it is Replies (0) No replies.