Michael Welch
101
reputation
2
Software developer interested in compilers, type theory, functional programming, and Swift.