Add Liquid Haskell to Tools

[~bandali/cv] / cv.tex

diff --git a/cv.tex b/cv.tex
index e773490..e4dc7a2 100644 (file)
--- a/cv.tex
+++ b/cv.tex
@@ -277,10 +277,10 @@
 \begin{itemize}
 \item \textit{Programming Languages:} Haskell, Rust, Eiffel, Python, C, Emacs
   Lisp, C\#, JavaScript.
+\item \textit{Tools:} Emacs, Liquid Haskell, Git, Zsh, \LaTeX, CI Systems
+  (e.g. Travis CI), Rodin.
 \item \textit{Platforms:} Arch Linux, Ubuntu and other distros, Android, macOS,
   Windows.
-\item \textit{Tools:} Emacs, Git, Zsh, \LaTeX, CI Systems (e.g. Travis CI),
-  Rodin, SQL DBs.
 \item \textit{Languages:} Persian (mother tongue), English (fluent), French
   (beginner).
 \end{itemize}