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 primrec and other function definition types to regex #21

Closed Twigonometry closed 2 years ago

Twigonometry commented 2 years ago

Include primrec function definitions, and other similar alternative strings, to the regex for finding functions to export in export_code command

Twigonometry commented 2 years ago

At least comment on README to be aware of this until it's fixed

Twigonometry commented 2 years ago

Closed by 73f1e7fb