From: Amin Bandali <amin@aminb.org>
Date: Sat, 20 May 2017 21:01:26 +0000 (-0400)
Subject: Add Liquid Haskell to Tools
X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/cv/commitdiff_plain/fd1cf79931cc6040ac67129ca54dd20f7ba70aac

Add Liquid Haskell to Tools
---

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