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