search

banacorn / agda-mode

agda-mode on Atom
https://atom.io/packages/agda-mode
MIT License
58 stars 14 forks source link

Hole not expanding when placed before a closing parenthesis #126

Open banacorn opened 4 years ago

banacorn commented 4 years ago

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

a = (?)