You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
Andrej Bauer@andrejbauer·Feb 28, 2021The misconceptions arising from the idea that a type is its closed terms run deep and wide.16
Brendan Zabarauskas@brendanzabReplying to @lambdabetaeta @andrejbauer and @jonmsterlingI’d like to learn more too!10:18 AM · Feb 28, 2021·Twitter for iPhone1 Like