This is a developer as well as a retired competitive programmer from China, now studying in PKU.
- Rust / C / JavaScript / Go / Haskell / Agda / Coq
- Manjaro / zsh / vim / VSCode
- Personal Blog: Sshwy's Notes
- Tutorial for λ-Calculus (Chinese): Road to λ-Calculus