(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 '(natural model
higher-order computability
Riemann manifold
termination property: sized/glued dependent type)
#:mail "[email protected]"
#: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))