Haskell Weekly Podcast → Episode 14 → Refinement Types

[taylorfausak]

Refinement Types