3 Syntactic Forms🔗ℹ

The core of the Rosette language (rosette/safe) consists of two kinds of syntax forms: a set of basic forms lifted from Racket, and a set of forms for solver-aided programming. We use the term “lifted” to refer to parts of the Racket language that can be used with symbolic values and other solver-aided constructs.