diff options
| author | ShootingStarDragons <ShootingStarDragons@protonmail.com> | 2022-08-27 08:40:42 +0800 |
|---|---|---|
| committer | Stephan Seitz <stephan.seitz@fau.de> | 2022-08-27 01:46:09 -0700 |
| commit | 783fec381514d320af114f22d478d9fc371fca1c (patch) | |
| tree | b29010a81a38ff219e7c94fbd6af9cf6031b9a47 /lua | |
| parent | bf8e98751947814071a64b2949cee6e25b70c49a (diff) | |
feat(agda): better highlight
Add highlight for bool
add highlight for function
Log: better highlight
Diffstat (limited to 'lua')
0 files changed, 0 insertions, 0 deletions