(information
  #:name (cond [(know-taiwanese? you) "Lîm Tsú-thuàn"]
               [(know-chinese? you) "林子篆"]
               [else "Danny"])
  #:focus-on '(topos geometry)
  #:programming-language '(racket haskell ocaml elixir)
  #:proof-assistant '(agda lean)
  #:math-tool '(sagemath)
  #:learning '(synthetic geometry
               oracle modalities
               lexical scope v.s. dynamic scope)
  #:mail "inbox@dannypsnl.me"
  #:pronouns: '(He Him)
  #:os '(NixOS MacOS Guix)
  #: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 don't know how to pronounce my name at first))