Refinement Types and Dependent Functions Stable in Racket 6.11

2 点作者 AriaMinaei超过 7 年前

1 comment

brudgers超过 7 年前

The full original article, <a href="https://blog.racket-lang.org/2017/11/adding-refinement-types.html" rel="nofollow">https://blog.racket-lang.org/2017/11/adding-refinement-types...</a>