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
1
questions and find answers to
240
problems.
Stats
5.1k
EtPoint
1.5k
Vote count
1
questions
240
answers
About
Li-yao Xia questions
"if" is not just sugar for "match"
Li-yao Xia answers
Converting from newtype to Int and from Int to newtype
Extract parameters from Haskell types with `DataKinds`
Is there a Haskell module for compiling metadata into my packages
Aeson: derive some (but not all) fields of a struct
Is this a generic transformer for any monad?
How does this monadic function in Haskell work?
Is the monad transformer of a monad unique in Haskell?
Haskell theorem proving tactics as indexed functors and monads
Unexpected output of callCC in Haskell
Coq: type mismatch on dependent lists which could be solved by a proof