delete old stuff from previous version of the site

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

diff --git a/source/cv.org b/source/cv.org
deleted file mode 100644 (file)
index 22bbdd4..0000000
--- a/source/cv.org
+++ /dev/null
@@ -1,13 +0,0 @@
-#+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.