• The Rosette Guide https://docs.racket-lang.org/rosette-guide/index.html 2 comments 26/11/2021 lisp , plt