I'm a programmer heavily interested in pure functional programming and correctness.
My current projects are the update of the Real world Haskell book as well as Pijul proselytism.