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

jiaminglimjm@lemmy.ml

Joined4 years ago

3 posts • 1 comments

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

Filter:

Overview Posts Comments

Sort:

Previous page Next page