17 Days till RacketCon

Come join us and learn How Cloudflare Uses Racket and Rosette to Verify DNS Changes

https://con.racket-lang.org
#racket #lisp #dsl #solveraidedprogramming #rosette