I make art, play with type theory, and put together well-typed software libraries while reading up on anarchist theory.
quantified entrou há 7 anos.