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...