|
|
e531ebd992
|
Also include the base path and the file path in highlight groups
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-21 21:44:59 -07:00 |
|
|
|
a6425c7510
|
Always add line numbers (why not?), but specially tag Agda blocks
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-21 20:41:10 -07:00 |
|
|
|
52ea5abbc8
|
For Agda code blocks, thread through line numbers
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-21 20:39:28 -07:00 |
|
|
|
94c285a2f1
|
Extract website theme into its own repository
|
2021-04-15 01:37:18 -07:00 |
|
