clojure west 2017 talk:
site:
https://emina.github.io/rosette/index.html
docs:
https://docs.racket-lang.org/rosette-guide/index.html
2 posts - 1 participant
clojure west 2017 talk:
site:
https://emina.github.io/rosette/index.html
docs:
https://docs.racket-lang.org/rosette-guide/index.html
2 posts - 1 participant