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

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

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

help-circle
rss