The implementation of right recursion is untested, and probably wrong.
It doesn't specify any base case option, and instead expects an infinite right recursion.
The related can be found at: https://github.com/TarVK/SAT/blob/main/src/formula/parsing/createLanguage.ts#L71
The implementation of right recursion is untested, and probably wrong.
It doesn't specify any base case option, and instead expects an infinite right recursion.
The related can be found at: https://github.com/TarVK/SAT/blob/main/src/formula/parsing/createLanguage.ts#L71