X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/cc996fd29fdce36be099c1c832b4d005ca12efcd..46e00845fab171c8a35b2455e60f59e51463ca3d:/index.html 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. +