Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 6 additions & 1 deletion .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -55,6 +55,11 @@ jobs:
# site moves to a custom domain.
run: ./build/exec/ddraig build examples _site https://hyperpolymath.github.io/ddraig-ssg
- name: Upload artifact
uses: actions/upload-pages-artifact@56afc609e74202658d3ffba0e8f6dda462b719fa # v3
# v5 pins its inner actions/upload-artifact to a commit SHA; v3 used the
# `@v4` tag, which the SHA-pin policy rejects at job set-up. v4+ drops
# dotfiles by default, so keep them: .well-known/ carries the O3
# accessibility attestation.
uses: actions/upload-pages-artifact@fc324d3547104276b827a68afc52ff2a11cc49c9 # v5.0.0
with:
path: _site
include-hidden-files: true
10 changes: 0 additions & 10 deletions examples/about.adoc

This file was deleted.

12 changes: 12 additions & 0 deletions examples/about.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
---
title: Getting started
site: Ddraig
description: How to build a site with Ddraig.
date: 2026-06-22
---

# Getting started

1. Compile: `idris2 Ddraig.idr -o ddraig`
2. Build: `ddraig build examples _site`
33 changes: 0 additions & 33 deletions examples/index.adoc

This file was deleted.

30 changes: 30 additions & 0 deletions examples/index.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,30 @@
<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
---
title: Ddraig
site: Ddraig
description: A dependently-typed static-site generator written in Idris 2.
date: 2026-06-22
---

# 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

```idris
main : IO ()
main = putStrLn "Ddraig"
```

See the [getting-started page](/about.html) and the project [README](https://github.com/hyperpolymath/ddraig-ssg).
Loading