\section*{Miscellaneous}
\begin{itemize}
-\item \textit{Programming Languages:} Haskell, Rust, C, Python, Emacs Lisp,
- \LaTeX, C\#, Java, JavaScript, C++.
+\item \textit{Programming Languages:} Haskell, Rust, Python, C, Emacs Lisp,
+ \LaTeX, C\#, Java, JavaScript.
\item \textit{Platforms:} Arch Linux, Ubuntu and other distros, Android, macOS,
Windows.
-\item \textit{Tools:} Emacs, Git, Mercurial, Zsh, CI Systems (e.g. Travis CI),
+\item \textit{Tools:} Emacs, Git, Zsh, CI Systems (e.g. Travis CI),
Rodin, SQL DBs.
\item \textit{Languages:} English (fluent), Persian (native), French (beginner).
\end{itemize}