|
ftplugin
|
nvim/agda: document how to find new symbols
|
2026-01-25 15:24:17 +01:00 |
|
lua
|
nvim/ftplugin: agda support
|
2026-01-24 22:24:56 +01:00 |
|
plugin
|
nvim/lsp: enable zls
|
2026-01-29 15:39:40 +01:00 |
|
syntax
|
allow "keyword" highlighting in tag
|
2025-12-14 20:25:11 +08:00 |
|
init.lua
|
Use milou theme
|
2025-10-28 10:56:20 +08:00 |
|
lazy-lock.json
|
nvim: +cornelis
|
2026-01-23 23:17:30 +01:00 |
