Closed Chobbes closed 6 years ago
In your inference rules, I think it's somewhat unclear what is a variable and what is not a variable. Maybe you should mention that lower case letters are variables. It's also unclear if these stand for single characters, or strings!
In your inference rules, I think it's somewhat unclear what is a variable and what is not a variable. Maybe you should mention that lower case letters are variables. It's also unclear if these stand for single characters, or strings!