From 4ad5c4c829b647c4973be388cb2dc004714445d2 Mon Sep 17 00:00:00 2001 From: SinTan1729 Date: Sun, 19 May 2024 23:10:38 -0500 Subject: [PATCH] new: Added Haskell to known languages --- CV.pdf | 4 ++-- CV.tex | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/CV.pdf b/CV.pdf index c3e661f..fd5eb6e 100644 --- a/CV.pdf +++ b/CV.pdf @@ -1,3 +1,3 @@ version https://git-lfs.github.com/spec/v1 -oid sha256:14fc81d0638efa6f2a60668d8292f2a3cda2ebf3de761d16016a447b7135f29c -size 101857 +oid sha256:c0beb73893057e351da39e8d35b426b4ca63e7ddf721ad9f76da5398ec96f5dc +size 101880 diff --git a/CV.tex b/CV.tex index ea061b4..3d338fd 100644 --- a/CV.tex +++ b/CV.tex @@ -81,8 +81,8 @@ classes that I taught as an Instructor of Record: \\ \end{longtable} \section{Programming} -I have experience with the languages SageMath, Lean 4, Rust, C++, C, Python, OCaml, JavaScript, HTML, \LaTeX, and some SQL. I'm also -familiar with Linux, Docker, and shell programming +I have experience with the languages SageMath, Lean 4, Rust, Haskell, C, Python, OCaml, JavaScript, C++, HTML, \LaTeX, and some SQL. I'm also +familiar with Linux, Docker, and shell programming. \section{Projects and Internships} \begin{tabular}{L!{\VRule}R} Summer 2023 & Formalization of Mathematics Summer School from 5-16 June in SLMath (formerly MSRI), Berkeley, CA \\