diff options
author | Thomas Letan <lthms@soap.coffee> | 2022-08-07 19:40:30 +0200 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2022-08-07 19:40:30 +0200 |
commit | 72a3cab663c193e72556a7ba1c4469f3489a41a2 (patch) | |
tree | 2fe7d3b047e0c7a210b887ed570c24e5fda804f3 /site/cleopatra | |
parent | Fix stacked git summary (diff) |
Add a new post about rank-n types in OCaml
Diffstat (limited to 'site/cleopatra')
-rw-r--r-- | site/cleopatra/org.org | 12 | ||||
-rw-r--r-- | site/cleopatra/soupault.org | 1 |
2 files changed, 12 insertions, 1 deletions
diff --git a/site/cleopatra/org.org b/site/cleopatra/org.org index 829272b..9f5a77c 100644 --- a/site/cleopatra/org.org +++ b/site/cleopatra/org.org @@ -50,13 +50,23 @@ INIT := --batch --load="${ROOT}/scripts/packages.el" \ (use-package ox-tufte :ensure t) #+end_src +We also use the OCaml backend for ~org-babel~ to ensure our OCaml +snippets are well-typed, among other things. + +#+begin_src emacs-lisp :tangle scripts/packages.el +(use-package tuareg :ensure t + :config + (require 'ob-ocaml)) +#+end_src + #+begin_src emacs-lisp :tangle scripts/export-org.el (cleopatra:configure) (org-babel-do-load-languages 'org-babel-load-languages '((dot . t) - (shell . t))) + (shell . t) + (ocaml . t))) (setq org-export-with-toc nil org-html-htmlize-output-type nil diff --git a/site/cleopatra/soupault.org b/site/cleopatra/soupault.org index 19a1096..2d9a058 100644 --- a/site/cleopatra/soupault.org +++ b/site/cleopatra/soupault.org @@ -59,6 +59,7 @@ clean_urls = false generator_mode = true complete_page_selector = "html" default_content_selector = "main" +default_content_action = "append_child" page_file_extensions = ["html"] ignore_extensions = [ "v", "vo", "vok", "vos", "glob", |