X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/ba696547714a5918b2ccbee0fd21235b9d0919be..a46a86fb27f906679b450dd535da61d6e78750c9:/source/cv.org diff --git a/source/cv.org b/source/cv.org deleted file mode 100644 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.