I make art, play with type theory, and put together well-typed software libraries while reading up on anarchist theory.
quantified ist vor 7 Jahren beigetreten.