(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)
#:learning '(inductive families
natural model
modules, dependencies, and cache format
terimation property: sized/glued dependent type
modal logic & its properties)
#:mail "inbox@dannypsnl.me"
#:pronouns: '(He Him)
#:os '(EndeavourOS 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))
dannypsnl/dannypsnl
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
Whatever