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

Published 20 hours ago • verified publisher icon idris-hackers

Reintroduce ipkg sourcedir regexp for Idris2 and further simplify related code.

Open keram opened this issue 1 year ago • 0 comments

Depends on https://github.com/idris-hackers/idris-mode/pull/634

keram avatar Jul 13 '24 19:07 keram