From 46e00845fab171c8a35b2455e60f59e51463ca3d Mon Sep 17 00:00:00 2001
From: Amin Bandali <bandali@gnu.org>
Date: Sat, 17 Aug 2019 17:22:15 -0400
Subject: [PATCH] =?utf8?q?add=20=E2=80=9Con=20the=20side=E2=80=9D=20bit?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 index.html | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/index.html b/index.html
index 978578c..2a26b37 100644
--- a/index.html
+++ b/index.html
@@ -60,6 +60,11 @@
           and volunteer.  I co-host the <a href="https://emacsel.com">Emacs.el</a> podcast,
           and I’m organizing <a href="https://emacsconf.org/2019/">EmacsConf&nbsp;2019</a> this fall.
         </p>
+        <p>
+          On the side, I dabble in <a href="https://leanprover.github.io">Lean</a>
+          and enjoy <a href="https://stallman.org/articles/on-hacking.html">hacking</a> on
+          <a href="https://www.gnu.org/software/emacs/manual/elisp.html">Emacs Lisp</a>.
+        </p>
       </section>
     </main>
   </body>
-- 
2.20.1