Refinement Types
Haskell Weekly - Un pódcast de Taylor Fausak
Categorías:
Andres Schmois and Cody Goodman talk about using the Refined library to turn runtime checks into types.
Haskell Weekly - Un pódcast de Taylor Fausak
Andres Schmois and Cody Goodman talk about using the Refined library to turn runtime checks into types.