From b77d1ccc75a49d601266c5194e990c829a6f888e Mon Sep 17 00:00:00 2001
From: Amin Bandali
- 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 @@ + ++ 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. +
+