Add support for optional arrow syntax: (2 ← 1) = (1 → 2) = (1 2)#80
Open
konard wants to merge 3 commits into
Open
Add support for optional arrow syntax: (2 ← 1) = (1 → 2) = (1 2)#80konard wants to merge 3 commits into
konard wants to merge 3 commits into