I make art, play with type theory, and put together well-typed software libraries while reading up on anarchist theory.
quantified 님은 7년 전에 가입했습니다.