Software engineer who loves strong type systems

https://keiichiw.github.io/