projects
/
~bandali
/
cv
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
2acab84
)
Add Liquid Haskell to Tools
author
Amin Bandali
<amin@aminb.org>
Sat, 20 May 2017 21:01:26 +0000
(17:01 -0400)
committer
Amin Bandali
<amin@aminb.org>
Sat, 20 May 2017 21:01:26 +0000
(17:01 -0400)
cv.tex
patch
|
blob
|
blame
|
history
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.
\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{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}
\item \textit{Languages:} Persian (mother tongue), English (fluent), French
(beginner).
\end{itemize}