todo-to-issue-action icon indicating copy to clipboard operation
todo-to-issue-action copied to clipboard

Published 20 hours ago • verified publisher icon alstr

Add support for Agda

Open whyvl opened this issue 1 year ago • 1 comments

whyvl avatar Oct 03 '23 12:10 whyvl

Thanks for the contribution; would you be able to add a couple of tests in the style of the existing languages?

alstr avatar Oct 13 '23 17:10 alstr

Closing as it's been a while now, but happy to revist this if you are able to add the tests.

alstr avatar Apr 27 '24 08:04 alstr