diff --git a/index.html b/index.html index d15e042..7e0f89a 100644 --- a/index.html +++ b/index.html @@ -57,7 +57,7 @@
I'm also pretty decent in SageMath, Haskell, Lean 4, Rust, Python, and a few other programming languages.