林嘉铭 ليمْ جيا ميڠ

Anti-colonialist. Interested in HoTT, languages and formal systems.

  • 3 Posts
  • 2 Comments
Joined 4 years ago
cake
Cake day: March 11th, 2021

help-circle