causes opening of the file to fail: The exercise file couldn't be read: On line 15: variables of type <?a,?b> : d-f the following exception occurred: The '?' character is not allowed in a type. Removing the question marks fixes it.
Is there something I'm missing here, is the exercise file buggy, or is that a future feature that is not implemented yet?
created by L3viathan on Apr 13, 2015
In the example for using bottom-up derivations with generalized quantifiers (example3.txt), line 15:
causes opening of the file to fail:
The exercise file couldn't be read: On line 15: variables of type <?a,?b> : d-f the following exception occurred: The '?' character is not allowed in a type.
Removing the question marks fixes it.Is there something I'm missing here, is the exercise file buggy, or is that a future feature that is not implemented yet?