search

emina / rosette

The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Other
638 stars 74 forks source link

Fix the help description #246

Closed sorawee closed 1 year ago

sorawee commented 1 year ago

The command-line option is a simple string "main", not a Racket symbol

emina commented 1 year ago

Thanks!