X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/ed891db307af229f6179c8613d7017c14a52a570..caf3b78c74be4c0d1e53904aa258fda50e512ef0:/content/cv.md

diff --git a/content/cv.md b/content/cv.md
new file mode 100644
index 0000000..f26c6b8
--- /dev/null
+++ b/content/cv.md
@@ -0,0 +1,16 @@
++++
+title = "CV"
+draft = false
+[menu.topnav]
+  weight = 2001
+  identifier = "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.