I make art, play with type theory, and put together well-typed software libraries while reading up on anarchist theory.
quantified si è iscritto/a 7 anni fa.