agda icon indicating copy to clipboard operation
agda copied to clipboard

Published 20 hours ago • verified publisher icon agda

Add ⧺ in agda-input.el

Open AlexD97 opened this issue 8 months ago • 0 comments

I often use the ⧺ symbol, and I believe others might as well. Therefore, I have added it to agda-input.el.

AlexD97 avatar Dec 08 '23 14:12 AlexD97