State-based testing with quickcheck-lockstep (Haskell Unfolder #44) Andres Löh, Edsko de Vries Wednesday, 14 May 2025