Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
Li-yao Xia
Li-yao Xia has asked
2
questions and find answers to
283
problems.
Stats
5.9k
EtPoint
1.7k
Vote count
2
questions
283
answers
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
Cabal install criterion out of memory
Two-level type hierarchy with Haskell
How to implement an anamorphism such that it can be build upon any value of the the return type (rather than just the base case)
Why is main's return not an exit code?
How to do pattern matching via a literal and assign a variable to it at the same time?
How to write intermediate proof statements inside Coq - similar to how in Isar one has `have Statement using Lemma1, Lemma2 by auto` but in Coq?
Using State Monad turns all of my functions into monadic functions
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"?
Menu
