STR-459: No congruence for _ {^ _ }
There is no syntax definition for congruences over explicit annotation lists _ {^ _ }. Thus, id{^id} is not syntactically valid.
Submitted on 20 November 2005 at 13:41
Issue Log
On 9 January 2013 at 16:58 Eelco Visser removed tag 0.18M5
On 9 January 2013 at 16:58 Eelco Visser tagged 0.19M1
On 9 January 2013 at 17:03 Eelco Visser removed tag 0.19M1
On 9 January 2013 at 17:03 Eelco Visser tagged interesting
Log in to post comments