(defvar my-languages
  (list (list "吳語" "English" "正體中文" "Deutsch" "日本語" "廣東話" "Français")
        (list "Common Lisp" "Rust" "Coq" "Haskell" "Agda" "Lean" "Julia")))
        
(defvar my-status
  (list "Studying Mathematics in 4th Semester"
        "Looking for research chances and interns"
        "Trans girl, 🏳️‍⚧️"))
  
(defvar my-interests
  (list "Type Theory" "Algebraic Geometry" "Mathematical Logic"))