summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2022-08-12 18:16:05 +0200
committerThomas Letan <lthms@soap.coffee>2022-08-12 18:16:05 +0200
commitd717cc2da16cae6fd1867f46025943700cd223ac (patch)
treeac46275bd567876558329c26098dc321588293d5
parentRework the article to be more straightforward (diff)
Propose to send an email in every page
-rw-r--r--site/cleopatra/theme.org6
-rw-r--r--site/index.org8
2 files changed, 9 insertions, 5 deletions
diff --git a/site/cleopatra/theme.org b/site/cleopatra/theme.org
index 9ea8991..3241733 100644
--- a/site/cleopatra/theme.org
+++ b/site/cleopatra/theme.org
@@ -551,6 +551,12 @@ theme-build : style.min.css
types and functional programming languages.
He/him.
</p>
+
+ <p>
+ Interested in starting a discussion? Don’t hesitate to <a
+ href="mailto:~lthms/public-inbox@lists.sr.ht">shoot me an
+ email</a>.
+ </p>
</span>
</main>
</body>
diff --git a/site/index.org b/site/index.org
index 4a27d6c..4236731 100644
--- a/site/index.org
+++ b/site/index.org
@@ -1,10 +1,8 @@
#+TITLE: Technical Articles
-Over the past years, I have tried to capitalize on my findings. What I
-have lacked in regularity I made up for in subject exoticism. If you
-like what you read, have a question or for any other reasons really,
-you can shoot an [[mailto:lthms@soap.coffee][email]], or start a discussion on whichever site you
-like[fn::I personnaly enjoy [[https://lobste.rs/search?q=domain%3Asoap.coffee&what=stories&order=relevance][Lobste.rs]] very much].
+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.
* About Coq
:PROPERTIES: