Reorder the languages a little.

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>
@@ -57,7 +57,7 @@
                             <h2>bloglang</h2>
                             <i data-feather="link" class="project-link-icon"></i>
                         </a> &mdash;
-                        Compiler for a purely functional, lazily evaluated language explained in-depth on my blog.
+                        Compiler for a purely functional, lazily evaluated language explained in-depth on <a href="https://danilafe.com/blog/00_compiler_intro/">my blog</a>.
                     </div>
                     <div class="project-container">
                         <a class="project-link" href="https://github.com/DanilaFe/chalk">
@@ -101,7 +101,7 @@
                             <li>Devised and implemented language to explain behavior of spreadsheets to new users.</li>
                             <li>Developed tooling in <em class="bold">Haskell</em> to verify, generate, and debug the explanation language.</li>
                             <li>Contributed to <em class="bold">research paper</em> published to the International Conference on Generative Programming.</li>
-                            <li>Formalized operational semantics of new <em class="bold">explanation-oriented programming language.</em></li>
+                            <li>Formalized operational semantics of new <em class="bold">explanation-oriented programming languages.</em></li>
                         </ul>
                     </div>
 
@@ -112,7 +112,7 @@
                             <li>Engaged in weekly question-and-answer sessions regarding course topics.</li>
                             <li>Aided students in implementing a final project in the form of a <em class="bold">custom programming language</em>.</li>
                             <li>Proctored <em class="bold">quizzes and exams</em> for over 200 students.</li>
-                            <li>Hosted <em class="bold">independent review sessions</em> attended by over 70 students.</li>
+                            <li>Organized <em class="bold">independent review sessions</em> attended by over 70 students.</li>
                         </ul>
                     </div>
                 </div>
@@ -127,7 +127,7 @@
                         <ul>
                             <li>Designed and published website currently live at <a href="https://danilafe.com">danilafe.com</a>.</li>
                             <li>Authored blog posts on topics spanning data structures, web development, programming languages, and compilers.</li>
-                            <li>Created <em class="bold">11-part series</em> on compiler development, walking readers through lexing, parsing, compilation using LLVM,
+                            <li>Created <em class="bold">13-part series</em> on compiler development, walking readers through lexing, parsing, compilation using LLVM,
                                 garbage collection, and polymorphic type checking.</li>
                         </ul>
                     </div>