ice1000

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

Why `Intrinsics.checkParameterIsNotNull` is not inlined?
How can I enable spell check in Rider?
How to implement an abstract getter with property
Why AtomicInteger is abstract in Kotlin? (it works fine in Java)
Why IntelliJ doesn't recognize my main method?
Kotlin unexpected `unresolved reference`
What can Coq do while Agda/Idris can't do?
How to implement this Java interface in Kotlin?

ice1000 answers

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"
Kotlin internal classes in Java visible publicly
How to implement an abstract getter with property
Launching Edge with a file URL