From: Amin Bandali 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}