From: Amin Bandali Date: Sat, 17 Aug 2019 21:22:15 +0000 (-0400) Subject: add “on the side” bit X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/commitdiff_plain/46e00845fab171c8a35b2455e60f59e51463ca3d?hp=da14228658fc24331843063c2cbcc01b3deeb0e2 add “on the side” bit --- 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. +