I'm a full-stack developer with a passion for programming language design and type theory. I love using mathematics to model our messy world, leading to safe and elegant solutions.
I'm a full-stack developer with a passion for programming language design and type theory. I love using mathematics to model our messy world, leading to safe and elegant solutions.