Chinese Language Meta
ice1000's user avatar
ice1000's user avatar
ice1000's user avatar
ice1000
  • Member for 5 years, 1 month
  • Last seen more than 3 years ago
Profile Activity
Stats
255
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.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
2
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
37
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
Are implicit arguments essential to (dependently-typed) proof assistants?

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.