diff --git a/resume.html b/resume.html index d9650bf..1908f4f 100644 --- a/resume.html +++ b/resume.html @@ -37,7 +37,7 @@

Skills

- Programming Languages: C, C++, Haskell, Elm, Coq, Idris, Crystal, Kotlin, Java, Python, JavaScript, Nix, Haxe
+ Programming Languages: C, C++, Haskell, Elm, Coq, Idris, Crystal, JavaScript, TypeScript, Kotlin, Java, Python, Nix, Haxe
Languages: English (native), Russian (native), French (conversational, DELF B1 certification)
Additional Skills: Compiler design, formal verification, algorithms, low-level development.