|
grammars
|
Dynamically load grammar libraries at runtime
|
2021-07-14 10:00:05 +09:00 |
|
queries
|
Add support for Agda (#8285)
|
2023-12-16 05:29:26 +01:00 |
|
themes
|
feat(themes): add modus vivendi theme(s) (#8894)
|
2023-12-19 10:03:26 +09:00 |
|
tutor
|
Add tutor for match mode (#8751)
|
2023-12-15 15:57:28 +09:00 |
