agda-mode icon indicating copy to clipboard operation
agda-mode copied to clipboard

Published 20 hours ago • verified publisher icon banacorn

Hole not expanding when placed before a closing parenthesis

Open banacorn opened this issue 4 years ago • 0 comments

As titled, here's a minimal file for reproducing it:

a = (?)

banacorn avatar May 20 '20 07:05 banacorn