4 ms·

Refinement Types and Dependent Functions Stable in Racket 6.11

• brudgers 9y ago
  The full original article, https://blog.racket-lang.org/2017/11/adding-refinement-types.html https://blog.racket-lang.org/2017/11/adding-refinement-types...