Chinese Language
ice1000's user avatar
ice1000's user avatar
ice1000's user avatar
ice1000
  • Member for 5 years, 11 months
  • Last seen more than a month ago
Profile Activity
Stats
265
reputation
15k
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
5
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
41
IntelliJ: changing color of an unused variable
39
What are different ways of handling runtime errors?
36
How to implement this Java interface in Kotlin?
35
Why do some programming languages choose to have a dedicated keyword for elseif instead of using else + if like in C?
30
What are the drawbacks of using indentation for code blocks?

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.