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/org.org | |
parent | Fix stacked git summary (diff) |
Add a new post about rank-n types in OCaml
Diffstat (limited to 'site/cleopatra/org.org')
-rw-r--r-- | site/cleopatra/org.org | 12 |
1 files changed, 11 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 |