(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"))
brethland / yui Goto Github PK
View Code? Open in Web Editor NEWYui is a strongly-typed, interpreter-based language.
License: Apache License 2.0