|
lib
|
checkpoint
|
2025-02-04 21:39:47 -05:00 |
|
projects
|
Style tweaks
|
2025-02-04 15:57:53 -05:00 |
|
resources
|
header styling
|
2025-02-04 22:07:59 -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 |
