|
lib
|
Center things a bit
|
2025-02-04 03:18:19 -05:00 |
|
projects
|
Basic syntax highlighting
|
2025-02-04 03:10:40 -05:00 |
|
resources
|
Get the color scheme all fancy
|
2025-02-04 03:32:23 -05:00 |
|
.envrc
|
envrc tweak
|
2025-01-21 03:26:24 -05:00 |
|
.gitignore
|
Add site to gitignore
|
2025-02-03 20:30:13 -05:00 |
|
blog
|
basic idris rendering
|
2025-02-04 01:21:32 -05:00 |
