|
lib
|
Generate archive
|
2025-02-05 03:28:49 -05:00 |
|
projects
|
Style tweaks
|
2025-02-04 15:57:53 -05:00 |
|
resources
|
Generate Index
|
2025-02-05 03:26:39 -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 |
