X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/1c986cd7696871d5691aec94d1c18896297aae8d..e30d4988385bf8a631468f031291a1e9babdf17f:/index.html 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. +