From 46e00845fab171c8a35b2455e60f59e51463ca3d Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Sat, 17 Aug 2019 17:22:15 -0400 Subject: [PATCH 1/1] =?utf8?q?add=20=E2=80=9Con=20the=20side=E2=80=9D=20bi?= =?utf8?q?t?= 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 Emacs.el podcast, and I’m organizing EmacsConf 2019 this fall.

+

+ On the side, I dabble in Lean + and enjoy hacking on + Emacs Lisp. +

-- 2.20.1