cornelis icon indicating copy to clipboard operation
cornelis copied to clipboard

Published 20 hours ago • verified publisher icon isovector

Add more tests

Open isovector opened this issue 2 years ago • 0 comments

It'd be nice to have a big testsuite here, just to really cement cornelis as the one true agda plugin for vim.

isovector avatar Feb 17 '22 23:02 isovector