update index: actually haven’t done any Rust in a while
authorAmin Bandali <bandali@gnu.org>
Tue, 7 May 2019 23:48:19 +0000 (19:48 -0400)
committerAmin Bandali <bandali@gnu.org>
Tue, 7 May 2019 23:48:55 +0000 (19:48 -0400)
index.html

index 44e3370..0bb507f 100644 (file)
@@ -71,8 +71,7 @@
 
         <p>
           On the side, I dabble in <a href="https://leanprover.github.io">Lean</a>
 
         <p>
           On the side, I dabble in <a href="https://leanprover.github.io">Lean</a>
-          and <a href="https://www.rust-lang.org">Rust</a>, and enjoy
-          <a href="https://stallman.org/articles/on-hacking.html">hacking</a> on
+          and enjoy <a href="https://stallman.org/articles/on-hacking.html">hacking</a> on
           <a href="https://www.gnu.org/software/emacs/manual/elisp.html">Emacs Lisp</a>.
           I&rsquo;m also a <a href="https://www.gnu.org/philosophy/free-sw.en.html">free software</a>
           and <a href="https://www.gnu.org/licenses/copyleft.en.html">copyleft</a>
           <a href="https://www.gnu.org/software/emacs/manual/elisp.html">Emacs Lisp</a>.
           I&rsquo;m also a <a href="https://www.gnu.org/philosophy/free-sw.en.html">free software</a>
           and <a href="https://www.gnu.org/licenses/copyleft.en.html">copyleft</a>