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
3
questions and find answers to
306
problems.
Stats
6.4k
EtPoint
1.8k
Vote count
3
questions
306
answers
About
Li-yao Xia questions
ocamlbuild links libraries in wrong order
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
How to unfold a Coq fixpoint by one iteration
How to make instance of Applicative a certain data type
Is "hello" a thunk or in normal form?
Transform casual list into dependently typed list in Coq
Birecursively defining a doubly infinite list of lists
How to define a custom type error within a type family for a constraint that uses type equality?
Congruence of Type Level Nats in Haskell
Ensuring a heterogenous list contains one typeclass
Can one simplify the Codensity monad on Maybe?
Redundant pattern matching slowing down our Haskell program
Menu
