English Language Learners
ice1000's user avatar
ice1000's user avatar
ice1000's user avatar
ice1000
  • Member for 6 years
  • Last seen more than a month ago
Profile Activity
Stats
319
reputation
7k
reached
0
answers
9
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
This user doesn’t have any gold badges yet.
6
silver badges
13
bronze badges
Top tags
0
Score
4
Posts
44
Posts %
0
Score
3
Posts
33
Posts %
0
Score
2
Posts
22
Posts %
0
Score
2
Posts
22
Posts %
0
Score
1
Posts
11
Posts %
0
Score
1
Posts
11
Posts %
Top posts
All Questions Answers
Score Newest
question
9
What's the difference among "extinguish fire", "fight the fire" and "put out fire"
Dec 17, 2017
question
3
Parenthesis with apostrophe, how to order and how to space?
Dec 12, 2018
question
2
How to express "friends that I only know them on internet" English?
Jul 20, 2018
question
2
How to express "my name used online"?
Oct 12, 2018
question
1
What's the difference between "thesis" and "paper"?
Dec 17, 2017
question
0
What does "I don't trust you because you are honest" mean?
Dec 21, 2017
question
0
While talking about a program, use `run` or `execute`?
Jan 7, 2018
question
0
How to express "too hard to use" in a word?
Oct 18, 2018
question
0
How can I express "you are funny" without sounding sarcastic?
Sep 11
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?
36
Why do some programming languages choose to have a dedicated keyword for elseif instead of using else + if like in C?
31
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.