Port the site to GNU Emacs + Org mode (using org-publish)

[~bandali/bndl.org] / source / cv.org

diff --git a/source/cv.org b/source/cv.org
new file mode 100644 (file)
index 0000000..22bbdd4
--- /dev/null
+++ b/source/cv.org
@@ -0,0 +1,13 @@
+#+title: CV
+#+date: [2018-08-19 Sun]
+#+options: toc:nil
+
+#+include: "./macros.org"
+
+My academic {{{abbr(cv)}}} 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 [[file:contact.org][drop me a
+line]] if you like to geek out about any of the above.