index: change current activities

2019-07-17 11:30:21 +01:00
parent 0d14de6bec
commit 2cf1385723
1 changed files with 3 additions and 2 deletions
--- a/index.html
+++ b/index.html
@@ -136,8 +136,9 @@
      </div>
      <h2>What I am doing right now</h2>
      <p>
-        I’m currently in Berlin, Germany, thinking about effects and the
-        Principle of Least Privilege, and prototyping ideas around that.
+        I’m currently in Berlin, Germany, thinking about tooling in static
+        languages (specifically <a href="//github.com/carp-lang/carp">Carp</a>,
+        and prototyping ideas around that.
      </p>
      <h2>What I can do for you</h2>
      <p>