Johannes Bader
olydis
Trying to make developer tools suck less and hacking on tree calculus.
Interests: PL design, formal verification, automatic program repair, education.
New York City, USA