diff options
| -rw-r--r-- | site/index.org | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/site/index.org b/site/index.org index 4236731..cccbd17 100644 --- a/site/index.org +++ b/site/index.org @@ -1,8 +1,11 @@ #+TITLE: Technical Articles Over the past years, I have tried to capitalize on my findings. I have -lacked in regularity, but I hope I I made up for it in subject -exoticism. +lacked in regularity, but I hope I I made up for it in exoticism. + +#+begin_export html +<nav id="generate-toc"></nav> +#+end_export * About Coq :PROPERTIES: |