I’m a software developer interested in functional programming, type theory, software verification, machine learning, and distributed systems.
I’m a software developer interested in functional programming, type theory, software verification, machine learning, and distributed systems.