bio photo

Notes on things I've learned

→ Twitter → Github

Type-level FizzBuzz Dec 19, 2018

When solving FizzBuzz is too mainstream, we try to solve it with type-level programming.