UNPKG

tree-sitter-nd

Version:
34 lines (30 loc) 387 B
- ( E y . Q(y) ^ T(y) ) ___ { [a] { Q(a) ^ T(a) ___ E y . Q(y) ^ T(y) F } - (Q(a) ^ T(a)) } A y . -( Q(y) ^ T(y) ) { [a] { Q(a) ___ { T(a) ___ Q(a) ^ T(a) -( Q(a) ^ T(a) ) F } -T(a) } Q(a) -> -T(a) } A y . Q(y) -> -T(y)