Closed tobiaswjohn closed 5 months ago
decrease number of derivation rules by combining multiple of them by using "or" in the condition
decrease number of derivation rules by combining multiple of them by using "or" in the condition