diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-12-10 14:15:24 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-12-10 14:15:24 +0100 |
commit | 2706544cf000a6f9875e81f86d885d4dc68dfb23 (patch) | |
tree | 5c1cf8ce1f5704dabef5e55353a3f9196894eb1a /site/cleopatra.org | |
parent | Advertise the version of compcert used to build this article (diff) |
Add a Series on coqffi, and the first literate program of this blog
Diffstat (limited to 'site/cleopatra.org')
-rw-r--r-- | site/cleopatra.org | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/site/cleopatra.org b/site/cleopatra.org index 67fd917..313007f 100644 --- a/site/cleopatra.org +++ b/site/cleopatra.org @@ -40,6 +40,8 @@ written as literate programs. - [[file:cleopatra/coq.org][Authoring Contents As Coq Documents ~(TODO)~]] :: +- [[./cleopatra/literate-programming.org][Authoring Literate Programs ~(TODO)~]] :: + - [[./cleopatra/org.org][Authoring Contents As Org Documents ~(TODO)~]] :: - [[./cleopatra/soupault.org][Processing HTML with ~soupault~]] :: |