ditkrg/todo-to-issue-action
4
0
Fork 0
mirror of https://github.com/ditkrg/todo-to-issue-action.git synced 2026-01-22 22:06:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add support for Agda

Browse Source
This commit is contained in:
pufferffish 2023-10-03 12:43:13 +01:00 committed by klarkc
parent fe5e34d9ad
commit 1f36e55b31
No known key found for this signature in database
GPG Key ID: A9688C165077FB02
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
syntax.json
View File

@ -812,5 +812,21 @@
}
}
]
},
{
"language": "Agda",
"markers": [
{
"type": "line",
"pattern": "--"
},
{
"type": "block",
"pattern": {
"start": "{-",
"end": "-}"
}
}
]
}
]