what-the-functor

Functional programmer, and advocate for software correctness

Singapore