From b95743884881513d12b3e7d19c6da310b9bb990c Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Mon, 30 Dec 2024 13:47:41 -0800 Subject: [PATCH] Add languages to project descriptions Signed-off-by: Danila Fedorin --- resume.html | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/resume.html b/resume.html index 77241bc..895091e 100644 --- a/resume.html +++ b/resume.html @@ -52,7 +52,7 @@

agda-spa

— - Framework for formally-verified lattice-based program analysis in Agda, explained in-depth in a series of posts. + Framework for formally-verified lattice-based program analysis in Agda, explained in-depth in a series of posts. - Dependently typed functional programming language capable of formal proofs. + Dependently typed functional programming language capable of formal proofs, written in Haskell.