X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/1663324cfcc445f69fce3defa9b58bfc1b16160d..cb742bb69034bdc97f1b762fc4bf7fde4f027fea:/content/cv.md diff --git a/content/cv.md b/content/cv.md deleted file mode 100644 index 8d1e815..0000000 --- a/content/cv.md +++ /dev/null @@ -1,19 +0,0 @@ -+++ -title = "CV" -draft = false -[menu.topnav] - identifier = "cv" - weight = 10 -+++ - -My academic 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 [drop me a -line](/contact) if you like to geek out about any of the above. - -[//]: # "Exported with love from a post written in Org mode" -[//]: # "- https://ox-hugo.scripter.co"