Brendan Zabarauskas@brendanzab”The Trouble with Typing Type as Type“ by Liam O’Connor @kamatsu8 http://liamoc.net/posts/2015-09-10-girards-paradox/index.html…3:52 AM · Jan 20, 2020·Twitter Web App4 Likes
