UNPKG

tree-sitter-nd

Version:
12 lines (10 loc) 117 B
{ [a] { P(a) ___ E y . P(y) } P(a) -> E y . P(y) } A y . P(y) -> E y . P(y)