Hey #Racket Twitter! Can I use #PLTRedex with an SMT solver? Via z3-rkt or Rosette? They all use different languages, and I don't know enough about Racket to see if there's any way to make that work.
Computer Fairies is a Mastodon instance that aims to be as queer, friendly and furry as possible. We welcome all kinds of computer fairies!