lead developer at @statebox ⭐ functional programming - type theory - category theory - abstract algebra - processes - computation