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

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

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

help-circle
rss