low & high level programmer, type theory meddler, language designer. spending most of my time on @ribbon-lang
Location:⊥
