chg: Changed the domain name for git

This commit is contained in:
Sayantan Santra 2024-09-12 12:20:00 +02:00
parent e2266007eb
commit 12884b8c5a
Signed by: SinTan1729
GPG Key ID: 0538DD402EA50898
1 changed files with 1 additions and 1 deletions

View File

@ -57,7 +57,7 @@
<li>\(\ell\)-adic Galois Representations</li> <li>\(\ell\)-adic Galois Representations</li>
</ul> </ul>
</p> </p>
<a href=https://links.sintan1729.uk/cv>You can take a look at my CV here.</a> <a href=https://links.sayantansantra.com/cv>You can take a look at my CV here.</a>
<br /> <br />
<p>I'm also pretty decent in SageMath, Haskell, Lean 4, Rust, Python, and a few other programming languages.</p> <p>I'm also pretty decent in SageMath, Haskell, Lean 4, Rust, Python, and a few other programming languages.</p>