Closed rleonid closed 7 years ago
This doesn't actually improve on overall typing speed. We can fold faster at the cost of more taxing intersects.
This doesn't actually improve on overall typing speed. We can fold faster at the cost of more taxing intersects.