X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/cc996fd29fdce36be099c1c832b4d005ca12efcd..e080516ce6defaf997bcc5b54bf380044c65ebd2:/index.html?ds=inline diff --git a/index.html b/index.html index 46b9dc3..2a26b37 100644 --- a/index.html +++ b/index.html @@ -13,8 +13,8 @@
-

bandali’s

-

Corner on the interwebs

+

bandali

+

my corner of the interwebs

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