idris2-vim icon indicating copy to clipboard operation
idris2-vim copied to clipboard

Published 20 hours ago • verified publisher icon edwinb

Add 'proof' keyword

Open eayus opened this issue 3 years ago • 0 comments

eayus avatar Oct 14 '21 11:10 eayus