Ddraig
Types that breathe fire. A static-site generator in pure Idris 2.
Built-in accessible theme, WCAG 2.2 AAA-capable.
Feature matrix
| Feature | Status |
|---|---|
| Markdown | full |
| Tables | yes |
| Raw HTML | yes |
Code
main : IO ()
main = putStrLn "Ddraig"
See the getting-started page and the project README.