From: Amin Bandali <amin@aminb.org>
Date: Tue, 22 May 2018 03:17:36 +0000 (-0400)
Subject: Add link to ~abandali on cs-general
X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/commitdiff_plain/627c9ae4805fd0b532d8a5b4760db74ba145f21b

Add link to ~abandali on cs-general
---

diff --git a/index.md b/index.md
index 001b6c4..2f9060e 100644
--- a/index.md
+++ b/index.md
@@ -2,10 +2,10 @@
 <img class="picture__avatar" src="https://emacsel.com/img/aminb.jpg" alt="Amin Bandali">
 <div class="clear"></div>
 
-I'm a graduate student in the [WatForm][watform] group at University
-of Waterloo, supervised by [Dr. Nancy Day][nday]. I’m interested in
-using formal methods, especially type systems, to help make software
-more reliable.
+I'm a [graduate student][cs] in the [WatForm][watform] group at
+University of Waterloo, supervised by [Dr. Nancy Day][nday]. I’m
+interested in using formal methods, especially type systems, to help
+make software more reliable.
 
 ## Recent writings
 
@@ -18,5 +18,6 @@ more reliable.
 - TODO
 
 
+[cs]: https://cs.uwaterloo.ca/~abandali/
 [watform]: https://watform.uwaterloo.ca
 [nday]: https://cs.uwaterloo.ca/~nday/