Update resume-sidebar.tex

andreweggleston · Jul 18, 2024 · 47add6d · 47add6d
1 parent ecd0001
commit 47add6d
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/resume-sidebar.tex b/resume-sidebar.tex
@@ -9,13 +9,14 @@
   \cvtag{Java}
   \cvtag{C}
   \cvtag{Python}
-  \cvtag{Gallina}
+  \cvtag{Go}
+  \cvtag{Rust}
 
   \smallskip\cvsubsection{Tools}
   \cvtag{Linux}
   \cvtag{git}
   \cvtag{Bash}
-  \cvtag{SQL/OracleDB}
+  \cvtag{SQL}
   \cvtag{Nix/NixOS}
   \cvtag{Docker}
   \cvtag{Coq}