Chinese Language
ice1000's user avatar
ice1000's user avatar
ice1000's user avatar
ice1000
  • Member for 5 years, 3 months
  • Last seen more than a month ago
Profile Activity
Stats
255
reputation
14k
reached
0
answers
6
questions
Communities
View all
About

I'm into univalent type systems. Worked on Agda and Arend, working on Aya.

Visit count (since 23 Feb 2023):

Badges
View all badges
1
gold badge
3
silver badges
12
bronze badges
Top tags
View all tags
0
Score
2
Posts
33
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
Top posts
All Questions Answers
Score Newest
question
5
What does "死党" mean?
Dec 16, 2017
question
4
How can I search for a Chinese character when I see it on a picture?
Dec 17, 2017
question
3
What's the difference between "博物馆长" and "博物馆馆长"?
Dec 17, 2017
question
2
What does "悠" mean in "悠久"?
Dec 13, 2017
question
1
Why "Lie to me" is translated as "别对我说谎"?
Dec 13, 2017
question
-3
What does "淦" mean? [closed]
Dec 22, 2017
Top network posts
View all network posts
39
IntelliJ: changing color of an unused variable
36
How to implement this Java interface in Kotlin?
27
What is an algebraic data type?
25
How to apply a patch generated with git format-patch?
20
Is there Multimap in Kotlin?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.