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