From 65641ab439f507b8cf0f24bca67b03fbcfbfa218 Mon Sep 17 00:00:00 2001
From: Amin Bandali <amin@aminb.org>
Date: Mon, 21 May 2018 23:35:34 -0400
Subject: [PATCH 1/1] Add CV

TODO: update cv.pdf, and perhaps resume.pdf as well.
---
 cv.md | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 cv.md

diff --git a/cv.md b/cv.md
new file mode 100644
index 0000000..10e4b8d
--- /dev/null
+++ b/cv.md
@@ -0,0 +1,10 @@
+# CV
+
+My academic <abbr>cv</abbr> is available as [cv.pdf](/cv.pdf), and an
+outdated professional resume is available as
+[resume.pdf](/resume.pdf) as well.
+
+I'm interested in functional programming and functional languages,
+type systems, and formal methods in general.  I love writing Haskell
+and I'm looking into Rust and Lean as well.  Feel free to [drop me a
+line](/contact) if you like to geek out about any of the above.
-- 
2.20.1