Li-yao Xia

Li-yao Xia has asked 2 questions and find answers to 276 problems.

Stats

About

Li-yao Xia questions

Invoke `editor.action.peekLocations` command from a code lens provided by a language server
"if" is not just sugar for "match"

Li-yao Xia answers

Implementing instance methods with ambiguous type variables not contained in the class head
Compute all sublists with nth element removed
Is there a name for a container "C a" that holds either an "a" or a function returning a value of type "C a"?
Understanding the intros keyword work in Coq
Not recognizing a type as an associated type of a monad inside a transformer stack
Multiversion API implementation
How can I remove all the boilerplate introduced by Trees That Grow?
How do define a custom induction principle in coq?
Multiple files use the same module name:
Checkers and EqProp