-
chak@cse.unsw.edu.au. authored
- If two "type instance"s overlap, they right-hand sides must be syntactically equal under the overlap substitution. (Ie, we admit limited overlap, but require the system to still be confluent.)
5a3ada9c
- If two "type instance"s overlap, they right-hand sides must be syntactically equal under the overlap substitution. (Ie, we admit limited overlap, but require the system to still be confluent.)