Static site generator in idris
Find a file
2025-02-27 21:05:04 -05:00
examples Disable smart constructor for now 2025-02-19 05:00:28 -05:00
src Heading support 2025-02-27 21:05:04 -05:00
test Heading support 2025-02-27 21:05:04 -05:00
.gitignore Setup golden value testing 2025-02-21 15:29:25 -05:00
pack.toml Move djot binary 2025-02-21 23:27:18 -05:00
SSG.ipkg HTML rendering 2025-02-27 04:23:25 -05:00
todo.org Heading support 2025-02-27 21:05:04 -05:00