Consultancy Training Haskell Ecosystem Who we are Blog
Well-Typed, The Haskell Consultants, Established 2008

From our blog

Verifying and testing timeliness constraints with io-sim
Armando Santos
Monday, 13 October 2025
Haskell ecosystem activities report: June–August 2025
Adam Gundry, Andreas Klebinger, Ben Gamari, Hannes Siebenhandl, Matthew Pickering, Mikolaj Konarski, Rodrigo Mesquita, Sam Derbyshire, Zubin Duggal
Friday, 26 September 2025

info@well-typed.com | Company information | Privacy | Cookies | Copyright © 2008–2025 Well-Typed LLP