discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Lobsters
Racket v6.11 released - includes refinement types and dependent function types
http://blog.racket-lang.org/2017/10/racket-v6-11.html
4 comments
31/10/2017
lisp
Reddit
Faking useful refinement types in Racket
https://gmb.is/refinement-types
2 comments
24/8/2020
racket
Racket v6.11 released - includes refinement types and dependent function types
http://blog.racket-lang.org/2017/10/racket-v6-11.html
25 comments
31/10/2017
programming