From: Amin Bandali Date: Sun, 30 Jun 2019 06:03:28 +0000 (-0400) Subject: add separate other interests section X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/commitdiff_plain/b77d1ccc75a49d601266c5194e990c829a6f888e?ds=sidebyside add separate other interests section --- diff --git a/index.html b/index.html index 363ec70..8bdeea7 100644 --- a/index.html +++ b/index.html @@ -61,16 +61,6 @@ interactive theorem proving.

-

- On the side, I dabble in Lean - and enjoy hacking on - Emacs Lisp. - I’m also a free software - and copyleft - activist, and a volunteer webmaster - for the GNU project. -

-

You may wish to view my academic curriculum vitae.

@@ -128,5 +118,18 @@ + +
+

Other interests

+

+ On the side, I dabble in Lean + and enjoy hacking on + Emacs Lisp. + I’m also a free software + and copyleft + activist, a volunteer webmaster + for the GNU project, and a co-host of the Emacs.el podcast. +

+