ice1000

ice1000 has asked 26 questions and find answers to 62 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

How can I write extension methods for Array's Companion objects in Kotlin?
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?

ice1000 answers

Java 8, Static methods vs Functions
How can I `return` from inside of a call to `use`?
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?