(information#:name (cond [(know-taiwanese? you)"Lîm Tsú-thuàn"]               [(know-chinese? you)"林子篆"]               [else"Danny"])#:focus-on '(PLT Networking OS)#:language '(ocaml elixir haskell racket)#:prover '(lean agda)#:math-tools '(sagemath julia)#:learning '(geodesics               Ricci flow               natural model of dependent type)#:mail"inbox@dannypsnl.me"#:pronouns: '(He Him)#:os '(NixOS MacOS)#:languages: '((Taiwanese . thian-jiân)                 (Chinese . 母語)                 (English . fluent)                 (Finnish . Osaan puhua vähän suomea)                 (Japanese . 日本語がわからない)                 (Deutsch . Ich kann kein Deutsch sprechen))#:fun-fact '(most native speakers of Chinese/Taiwanese cannot pronounce my name correctly at first))