search

Twigonometry / IsabelleDSL

IsabelleDSL (iDSL) is a framework for generating Domain-Specific Languages from specifications written in Isabelle
0 stars 0 forks source link

Add interactive mode #28

Open Twigonometry opened 2 years ago

Twigonometry commented 2 years ago

If script is run with no flags, allow users to pick actions e.g. "create a theory file" (#18 ) or "generate a DSL", and allow interactively typing required parameters one by one.