X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/caf3b78c74be4c0d1e53904aa258fda50e512ef0..a755c531548e090a30022cab79bdb0e3deaa521c:/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"