Twigonometry / IsabelleDSL

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

Allow multi-file boilerplate definitions #9

Open Twigonometry opened 2 years ago

Twigonometry commented 2 years ago

User should be able to define a number of files to be exported and formatted in boilerplate definition. This is useful for code generation into frameworks such as Node, Ruby, Laravel etc when a large number of files must be created