Ryan Brewer
ryanbrewer@mathstodon.xyz
<p>Love logic, philosophy, type theory, abstract algebra, and PLT. <br />Leftist.<br />He/him.</p>
Posts
-
Post #1437812
I remember how to knit, turns out! After a basically-ten-year hiatus