Idris/ssg
Watch
1
0
Fork
You've already forked ssg
 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Static site generator in idris
39 commits 1 branch 0 tags 104 KiB
  • Idris 100%
Find a file
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Nathan McCarty 6263a02f89 Heading support
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