diff --git a/resume.html b/resume.html
index 77241bc..895091e 100644
--- a/resume.html
+++ b/resume.html
@@ -52,7 +52,7 @@
                             <h2>agda-spa</h2>
                             <i data-feather="link" class="project-link-icon"></i>
                         </a> &mdash;
-                        Framework for formally-verified lattice-based program analysis in Agda, explained in-depth in <a href="https://danilafe.com/series/static-program-analysis-in-agda/">a series of posts</a>.
+                        Framework for formally-verified lattice-based program analysis in <em class="bold">Agda</em>, explained in-depth in <a href="https://danilafe.com/series/static-program-analysis-in-agda/">a series of posts</a>.
                     </div>
                     <!--
                     <div class="project-container">
@@ -75,7 +75,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 <a href="https://danilafe.com/blog/00_compiler_intro/">personal blog</a>.
+                        Compiler for a functional, lazily evaluated language using <em class="bold">C++</em> and <em class="bold">LLVM</em>, explained in-depth on <a href="https://danilafe.com/blog/00_compiler_intro/">personal blog</a>.
                     </div>
                     <div class="project-container">
                         <a class="project-link" href="https://github.com/DanilaFe/maypop">
@@ -83,7 +83,7 @@
                             <i data-feather="link" class="project-link-icon"></i>
                         </a> &mdash;
                         <!-- Instructional implementation of a dependently typed functional programming language capable of formal proofs. -->
-                        Dependently typed functional programming language capable of formal proofs.
+                        Dependently typed functional programming language capable of formal proofs, written in <em class="bold">Haskell</em>.
                     </div>
                     <!--
                     <div class="project-container">
@@ -117,7 +117,7 @@
                             <h2>matrix-highlight</h2>
                             <i data-feather="link" class="project-link-icon"></i>
                         </a> &mdash;
-                        Tool for collaborative, decentralized, and federated web annotation based on the Matrix protocol.
+                        <em class="bold">TypeScript</em>-based browser extension for collaborative web annotation based on the Matrix protocol.
                     </div>
                 </div>
             </section>