My Name is Reed Mullanix, and I'm a developer who's interested in Functional Programming and Formal Verification. My github is TOTBWF, and you can often find me on the Functional Programming Slack under the same name.