update themes/divine url
[~bandali/bndl.org] / content / cv.md
index f26c6b8..8d1e815 100644 (file)
@@ -2,8 +2,8 @@
 title = "CV"
 draft = false
 [menu.topnav]
-  weight = 2001
   identifier = "cv"
+  weight = 10
 +++
 
 My academic <abbr>CV</abbr> 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"