Haskell Weekly
Refinement Types
Jul 16, 2019 · 15 min
Play episode
Andres Schmois and Cody Goodman talk about using the Refined library to turn runtime checks into types.
Search
Clear search
Close search
Google apps
Main menu