Skip to main content
ice1000's user avatar
ice1000's user avatar
ice1000's user avatar
ice1000
Passenger
  • Member for 7 years, 8 months
  • Last seen this week
Profile Activity
Stats
6,540
reputation
1.1m
reached
124
answers
37
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
4
gold badges
44
silver badges
89
bronze badges
Top tags
View all tags
268
Score
97
Posts
60
Posts %
73
Score
25
Posts
16
Posts %
73
Score
25
Posts
16
Posts %
57
Score
34
Posts
21
Posts %
17
Score
13
Posts
8
Posts %
16
Score
5
Posts
3
Posts %
Top posts
View all questions, answers, and articles
41
IntelliJ: changing color of an unused variable
Mar 14, 2018
36
How to implement this Java interface in Kotlin?
May 23, 2017
27
How to apply a patch generated with git format-patch?
May 14, 2018
23
Is there Multimap in Kotlin?
Dec 16, 2017
13
What does Kotlin's type reification make possible that is not possible in Java or Scala?
Dec 17, 2017
12
How to use annotation TypeDefs in Kotlin?
Apr 17, 2018
12
Android Kotlin View width set error "Val cannot be reassigned"
Apr 4, 2018
11
How to organize Kotlin extension methods
May 21, 2017
10
How to check "instanceof " class in Kotlin?
May 21, 2017
10
How would a Kotlin notebook work when kotlin is a compiled language?
May 8, 2018
Top network posts
View all network posts
41
Why do some PL choose to have a dedicated keyword for elseif instead of like in C?
39
What are different ways of handling runtime errors?
31
What are the drawbacks of using indentation for code blocks?
29
What is an algebraic data type?
21
Are implicit arguments essential to (dependently-typed) proof assistants?