Syntax constructor support

SemGuS-git / Semgus-Parser

Library and tool for parsing SemGuS specifications

MIT License

4 stars 1 forks source link

Closed kjcjohnson closed 2 years ago

kjcjohnson commented 3 years ago

Issue for tracking syntax constructor support. There is some flux in the front-end language on this, so specifics TBD.

kjcjohnson commented 2 years ago

This is obsolete with the new format, and has been superceded by the declare-term-types command. Closing.