You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
Brendan Zabarauskas@brendanzabReplying to @carloangiuli and @jonmsterlingmeanwhile, on my timeline last month:Quote TweetAmélia Liao ICFP@plt_amy · Apr 17, 2021"Little attention has been paid to notions of liberty and fraternity in dependent type theory, but the same cannot be said about equality." FUCK YOUUUUUUUUUUUUUUUUUUUUUUUUUUuuuuuuuuShow this thread10:04 PM · May 15, 2021·Twitter Web App6 Likes
Amélia Liao ICFP@plt_amy·May 15, 2021Replying to @brendanzab @carloangiuli and @jonmsterlinghaha hii5