Parametric Sorts - #7

Merged

Shoooooon merged 3 commits into

SemGuS-git:mainfrom

Feb 23, 2024

Commits on Feb 22, 2024

Added support for parametric sorts and correct conversion of identifiers with numeral arguments. Added shadowJar to gradle config to make fat JAR directly executable.
Shoooooon
committed
b0e4525

Commits on Feb 23, 2024

Changed sortKind and sortParams to kind and params. Also actually added shadowJar.
Shoooooon
committed
9e76ce1
Added readme note pointing to parser version.
Shoooooon
committed
11464d5