tree-sitter-agda icon indicating copy to clipboard operation
tree-sitter-agda copied to clipboard

Published 20 hours ago • verified publisher icon tree-sitter

Unicode symbols breaking the scanner

Open banacorn opened this issue 5 years ago • 1 comments

As in https://github.com/tree-sitter/tree-sitter/issues/312

banacorn avatar Jul 29 '19 10:07 banacorn

The sample of a half white file: https://github.com/AndrasKovacs/preordertt/blob/master/signedCxt/CwF.agda

zraffer avatar Jul 29 '19 16:07 zraffer