Static site generator in idris
Find a file
2025-02-21 03:56:30 -05:00
examples Disable smart constructor for now 2025-02-19 05:00:28 -05:00
src Basic Heading Parsing 2025-02-21 03:56:30 -05:00
test Inital Commit 2025-02-18 07:01:35 -05:00
.gitignore Inital Commit 2025-02-18 07:01:35 -05:00
pack.toml Working html generation example 2025-02-18 23:40:53 -05:00
SSG.ipkg Move Djot module 2025-02-21 03:26:12 -05:00
todo.org Basic Heading Parsing 2025-02-21 03:56:30 -05:00