97 followers shhyou @shhyou_886 Type theory comments without context https://t.co/a2PiOUYGAv https://t.co/0r1atDfYp0 25 Dec 2021 Reply Repost Favourite