From fd3e4f130a291a54d744798f76acd4806dbb750f Mon Sep 17 00:00:00 2001 From: tslil clingman Date: Tue, 16 Apr 2024 07:37:21 +0200 Subject: python --- cv.pdf | Bin 83859 -> 83882 bytes cv.tex | 2 +- industry_cv.pdf | Bin 74457 -> 74439 bytes industry_cv.tex | 2 +- 4 files changed, 2 insertions(+), 2 deletions(-) diff --git a/cv.pdf b/cv.pdf index b50e84f..7140517 100644 Binary files a/cv.pdf and b/cv.pdf differ diff --git a/cv.tex b/cv.tex index dea3dba..d67df4d 100644 --- a/cv.tex +++ b/cv.tex @@ -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 index e9cb401..7dfc33a 100644 Binary files a/industry_cv.pdf and b/industry_cv.pdf differ 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)} -- cgit v1.3.1