(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 Goto Github PK
Name: Brethland☆Yang
Type: User
Bio: 言葉を使うの魔法少女
Location: Gensokyo
Blog: typ.moe