Falsify: Hypothesis-Inspired Shrinking for Haskell (2023)(well-typed.com)85 points by birdculture 1 year ago | 17 comments
When "blocked indefinitely" is not indefinite(well-typed.com)33 points by g0xA52A2A 2 years ago | 9 comments
Calling Purgatory from Heaven: Binding to Rust in Haskell(well-typed.com)116 points by g0xA52A2A 3 years ago | 61 comments