Dear Haskell Community, Since May, 2022, I’ve had the honor and pleasure of serving as the Executive Director of the Haskell Foundation. As many of you know, I’ve had a deep and abiding interest in dependently-typed programming, formal verification, compile-time metaprogramming, and programmer tooling. A rare opportunity came by to work on all of these at once, and I will be returning to a full-time developer role at the beginning of October. Based on the hard work of our volunteers, the board...

Dear Haskell Community, Since May, 2022, I’ve had the honor and pleasure of serving as the Executive Director of the Haskell Foundation. As many of you know, I’ve had a deep and abiding interest in dependently-typed programming, formal verification, compile-time metaprogramming, and programmer tooling. A rare opportunity came by to work on all of these at once, and I will be returning to a full-time developer role at the beginning of October…