diff --git a/resume.html b/resume.html index 23b7563..0a29d96 100644 --- a/resume.html +++ b/resume.html @@ -200,7 +200,7 @@
  • Designed and published website currently live at danilafe.com.
  • Authored blog posts on topics spanning data structures, web development, programming languages, and compilers.
  • Formalized and described solutions to select Advent of Code problems using the Coq proof assistant.
  • -
  • Created 14-part series on compiler development, walking readers through lexing, parsing, compilation using LLVM, +
  • Created 14-part series on compiler development, walking readers through lexing, parsing, compilation using LLVM, garbage collection, and polymorphic type checking.