luochen1990

Questions Linux Laravel Mysql Ubuntu Git Menu

HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin

luochen1990 has asked 26 questions and find answers to 17 problems.

Stats

About

luochen1990 questions

How to pattern match multiple values in Idris/Agda/Coq?
Hive DateTime Truncators (QUARTER, WEEK, DAYOFWEEK)?
How to use `deriving` in Idris?
Is it possible to design Stack (Haskell) just like NPM (NodeJS)?
Why provide the `HasCallStack` mechanism since we already have `ghc -prof -fprof-auto-top` in GHC?
Why we cannot pattern match on Set/Type in Coq/Agda/Idris？
Calculate N-Ary (with different types !!) Cartesian Product in Haskell
What is the difference between type class dependence in haskell and sub typing in OOP?
How to map Type to Value in Idris/Agda/Coq?
Can it be proved that call-by-need has the minimal asymptotic time complexity among all reduction strategies?

luochen1990 answers

Hive DateTime Truncators (QUARTER, WEEK, DAYOFWEEK)?
weird error with haskell-stack. it doesn't install anything anymore
Prime factors in Haskell
Can't get Freeglut to work with Haskell on Windows
Can I compile a haskell function from a string at runtime (using plugins)?
How to map Type to Value in Idris/Agda/Coq?
Graphviz not supporting UTF-8 encoding
Print contents of a PDF to the command line
Change admin password in Gitea
Equivalent of python eval in Haskell