update publications

[~bandali/bndl.org] / content / cv.md

diff --git a/content/cv.md b/content/cv.md
index f26c6b8..8d1e815 100644 (file)
--- a/content/cv.md
+++ b/content/cv.md
@@ -2,8 +2,8 @@
 title = "CV"
 draft = false
 [menu.topnav]
 title = "CV"
 draft = false
 [menu.topnav]

-  weight = 2001

   identifier = "cv"
   identifier = "cv"

+  weight = 10

 +++
 
 My academic <abbr>CV</abbr> is available as [cv.pdf](/cv.pdf),
 +++
 
 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.
 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"