Refinement Types and Dependent Functions Stable in Racket 6.11

The full original article, https://blog.racket-lang.org/2017/11/adding-refinement-types...