(information
#:name (cond [(know-taiwanese? you) "Lîm Tsú-thuàn"]
[(know-chinese? you) "林子篆"]
[else "Danny"])
#:focus-on '(PLT Networking OS)
#:language '(racket elixir julia)
#:prover '(arend agda)
#:learning '(homotopy/cubical type theory
functional programming languages compiling
extensible records with scoped labels
Peano Arithmetic, Presburger Arithmetic, and Gödel incompleteness theorem)
#:mail "dannypsnl@gmail.com"
#:pronouns: '(He Him)
#:os '(NixOS MacOS)
#:languages: '((Taiwanese . thian-jiân)
(Chinese . 母語)
(English . fluent)
(Finnish . Osaan puhua vähän suomea)
(Deutsch . Ich kann kein Deutsch sprechen)
(Japanese . 日本語がわからない))
#:fun-fact '(most native speakers of Chinese/Taiwanese cannot pronounce my name correctly))