ice1000

ice1000 has asked 25 questions and find answers to 60 problems.

Stats

About

I'm into univalent type systems. Worked on Agda and Arend, looking for PhD or similar research position.

Profile: https://personal.psu.edu/yqz5714

ice1000 questions

Is this annotation on the array or on the element type the array?
Kotlin: "val someVar = if (xx) 1 else 1.0", why is someVar an "Any"?
Why `minimum (1, 2)` returns 2 in Haskell? [duplicate]
Why Haskell typeclasses in Agda are started with `Raw`?
How to define an alias in Agda's type delaration?
What does `impl` mean in Kotlin?
Zig "translate c" doesn't translate main function
Why `Intrinsics.checkParameterIsNotNull` is not inlined?
How can I enable spell check in Rider?
How to implement an abstract getter with property

ice1000 answers

Smart-cast and comparison inside When Expression after 'is' type-check
Is this the right way to use HeterogeneousEquality in Agda?
When to pass self as a reference for methods?
Can I monitor a variable in Kotlin?
Kotlin unexpected `unresolved reference`
How to fix conflicting Kotlin dependency in IntelliJ IDEA?
Kotlin Gradle Could not find or load main class
How would a Kotlin notebook work when kotlin is a compiled language?
Equivalent of Java's 'public static final string'
Android Kotlin View width set error "Val cannot be reassigned"