From 675c8f765c589005abfe0fa80b10333f61ced7e1 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Fri, 26 Dec 2025 15:18:06 -0800 Subject: [PATCH] Update URL for bloglang on resume Signed-off-by: Danila Fedorin --- resume.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resume.html b/resume.html index 718d37c..425ca0f 100644 --- a/resume.html +++ b/resume.html @@ -76,7 +76,7 @@ Solutions for Advent of Code 2020 problems, with select puzzles formalized using Coq. -->