Add CV

TODO: update cv.pdf, and perhaps resume.pdf as well.

diff --git a/cv.md b/cv.md
new file mode 100644 (file)
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.