Skip to main content
Game Development
ice1000's user avatar
ice1000's user avatar
ice1000's user avatar
ice1000
  • Member for 7 years, 3 months
  • Last seen more than 6 years ago
Profile Activity
Stats
286
reputation
0
reached
0
answers
0
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
This user doesn’t have any gold badges yet.
1
silver badge
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
43
What are different ways of handling runtime errors?
41
Why do some PL choose to have a dedicated keyword for elseif instead of like in C?
41
IntelliJ: changing color of an unused variable
36
How to implement this Java interface in Kotlin?
32
What are the drawbacks of using indentation for code blocks?