(information
#:name (cond [(know-taiwanese? you) "Lîm Tsú-thuàn"]
[(know-chinese? you) "林子篆"]
[else "Danny"])
#:focus-on '(topos geometry)
#:language '(ocaml elixir haskell racket)
#:prover '(lean agda)
#:math-tools '(sagemath julia)
#:learning '(synthetic differential geometry
diffeology
geodesics
Ricci flow)
#: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))