Add Liquid Haskell to Tools
authorAmin Bandali <amin@aminb.org>
Sat, 20 May 2017 21:01:26 +0000 (17:01 -0400)
committerAmin Bandali <amin@aminb.org>
Sat, 20 May 2017 21:01:26 +0000 (17:01 -0400)
cv.tex

diff --git a/cv.tex b/cv.tex
index e773490..e4dc7a2 100644 (file)
--- a/cv.tex
+++ b/cv.tex
 \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}