Update members.yml

prgprg-org · Nov 14, 2024 · 4c727c7 · 4c727c7
1 parent 6c289b7
commit 4c727c7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/_data/members.yml b/_data/members.yml
@@ -24,7 +24,7 @@
   position: PhD Student at MFF
   email: [email protected]
   web: https://github.com/lambduli
-  interests: I build small programming languages, theorem provers, and other systems related to PLT.
+  interests: Builds small programming languages, theorem provers, and other systems related to PLT.
 
 - name: Tomáš Jakl
   photo: img/people/tomasj.jpg