Skip to content

sshwy/sshwy

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

11 Commits
 
 

Repository files navigation

Hi there

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

Top Langs Sshwy's github stats

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published