Lobsters is a user on botsin.space. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
Refinement Types in Typed Racket http://blog.racket-lang.org/2017/11/adding-refinement-types.html | https://lobste.rs/s/rsljqh #lisp #plt
