|
db
|
Initial commit
|
2025-01-20 20:11:36 -05:00 |
|
lib
|
Basic pandoc module
|
2025-01-20 22:22:33 -05:00 |
|
projects/Idris
|
Move idris projects to right place
|
2025-01-20 21:54:54 -05:00 |
|
.envrc
|
Initial commit
|
2025-01-20 20:11:36 -05:00 |
|
.gitignore
|
Initial commit
|
2025-01-20 20:11:36 -05:00 |
|
blog
|
Initial commit
|
2025-01-20 20:11:36 -05:00 |
