diff options
| author | tslil clingman <tslil@posteo.de> | 2024-04-16 07:37:21 +0200 |
|---|---|---|
| committer | tslil clingman <tslil@posteo.de> | 2024-04-16 07:37:21 +0200 |
| commit | fd3e4f130a291a54d744798f76acd4806dbb750f (patch) | |
| tree | 3e188377a4ac23d518cce392afacad0e1b06db3f | |
| parent | 19d8cee7410b493bf8f352fdab9342813cc4f021 (diff) | |
python
| -rw-r--r-- | cv.pdf | bin | 83859 -> 83882 bytes | |||
| -rw-r--r-- | cv.tex | 2 | ||||
| -rw-r--r-- | industry_cv.pdf | bin | 74457 -> 74439 bytes | |||
| -rw-r--r-- | industry_cv.tex | 2 |
4 files changed, 2 insertions, 2 deletions
| Binary files differ @@ -332,7 +332,7 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp \ruletitle{Competencies} - \listentry{Comfortable in C \& Haskell, with experience in Agda, Common Lisp, Coq, \LaTeX, Python, Rust, and Zig} + \listentry{Comfortable in Python \& Haskell, with experience in Agda, C, Common Lisp, Coq, \LaTeX, Python, Rust, and Zig} \listentry{English (fluent), Hebrew (intermediate), Dutch (intermediate)} diff --git a/industry_cv.pdf b/industry_cv.pdf Binary files differindex e9cb401..7dfc33a 100644 --- a/industry_cv.pdf +++ b/industry_cv.pdf diff --git a/industry_cv.tex b/industry_cv.tex index 3b40873..98965d3 100644 --- a/industry_cv.tex +++ b/industry_cv.tex @@ -238,7 +238,7 @@ See my \href{https://tslil.xyz}{website} for details, including my role as sole \ruletitle{Competencies} -\listentry{Comfortable in C and Haskell, with experience in Agda, (x86 \& AVR) Assembly, Common Lisp, Coq, \LaTeX, Python, Rust, and Zig} +\listentry{Comfortable in Python \& Haskell, with experience in Agda, C, Common Lisp, Coq, \LaTeX, Python, Rust, and Zig} \listentry{English (fluent), Hebrew (intermediate), Dutch (intermediate)} |
