DanilaFe/resume
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Reorder the languages a little.

Browse Source
This commit is contained in:
Danila Fedorin 2020-11-29 10:35:53 -08:00
parent 495abb8d03
commit 3985cb5f93
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
resume.html
View File

@ -37,7 +37,7 @@
<h1>Skills</h1>
<div class="section-content">
<em class="italic">Programming Languages:</em> C, C++, Haskell, Elm, Crystal, Kotlin, Java, Python, JavaScript, Haxe<br>
<em class="italic">Programming Languages:</em> C, C++, Haskell, Elm, Idris, Crystal, Kotlin, Java, Python, JavaScript, Coq, Haxe<br>
<em class="italic">Languages:</em> English (native), Russian (native), French (conversational, DELF B1 certification) <br>
<em class="italic">Additional Skills:</em> Compiler design, formal verification, algorithms, low-level development.<br>
</div>