From 3985cb5f93b3840b05e1bcaa28720b83420c82d0 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Sun, 29 Nov 2020 10:35:53 -0800
Subject: [PATCH] Reorder the languages a little.

---
 resume.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resume.html b/resume.html
index b8de5b5..76e832a 100644
--- a/resume.html
+++ b/resume.html
@@ -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>