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