Refinement Types

Andres Schmois and Cody Goodman talk about using the Refined library to turn runtime checks into types.

• https://danieljharvey.github.io/posts/2019-07-05-refined-types.html