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

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

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

help-circle
rss