search

alstr / todo-to-issue-action

Action that converts TODO comments to GitHub issues on push.
MIT License
603 stars 115 forks source link

Add PureScript and Agda #193

Closed klarkc closed 2 months ago

klarkc commented 2 months ago

Based on previous work from #121 and #169

alstr commented 2 months ago

Thank you!