X-Git-Url: http://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/1c986cd7696871d5691aec94d1c18896297aae8d..cfe6a758127c1ee27e6b287724234518a83e653e:/index.html?ds=inline diff --git a/index.html b/index.html index ce6d533..2a26b37 100644 --- a/index.html +++ b/index.html @@ -13,8 +13,8 @@
-

bandali’s

-

Corner on the interwebs

+

bandali

+

my corner of the interwebs

@@ -30,7 +30,7 @@

@@ -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. +