daniel gratzer@dannygratzer·Mar 19, 2019soon i shall craft the perfect set of tweets, unintelligible to those who can't read my broken danish or don't care about type theory. My crowning achievement.38
Brendan Zabarauskas@brendanzabReplying to @buggymcbugfix and @dannygratzerI demand a constructive proof.10:45 PM · Mar 19, 2019·Twitter Web Client2 Likes
