X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/351bf14558a231f34fb31a91310e455c8bf5ceae..bdec77905bf26a7613043645c067ca1673d5acce:/content/cv.md diff --git a/content/cv.md b/content/cv.md index f26c6b8..8d1e815 100644 --- a/content/cv.md +++ b/content/cv.md @@ -2,8 +2,8 @@ title = "CV" draft = false [menu.topnav] - weight = 2001 identifier = "cv" + weight = 10 +++ My academic CV is available as [cv.pdf](/cv.pdf), @@ -14,3 +14,6 @@ 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"