Change the grammar for Type constructors , Add pattern rules and judgements
I changed the grammar for Type constructors and added all the pattern related stuff like rules and judgements. But I still get a multiple parse error for the P_Con
Rule.
I changed the grammar for Type constructors and added all the pattern related stuff like rules and judgements. But I still get a multiple parse error for the P_Con
Rule.