gallais

Questions Linux Laravel Mysql Ubuntu Git Menu

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

gallais has asked 9 questions and find answers to 102 problems.

Stats

About

gallais questions

Loading a module with dependencies in utop
ghc does not report non-exhaustive pattern matches when using the `no-code` flag
Memoizing an effectful function
Checking that two values have the same head constructor
Implicit arguments in a computed type in Coq
Application of type-level arguments of Kind other than Type

gallais answers

How to deal with Agda not being sure in whether to generate constructor case in the `with` statement?
How to fix incomplete pattern matching in agda
Is there a Monoid equivalent of Bifunctor?
How to pass termination checking when recursing using map?
Is it possible to write a non-terminating web server in agda?
How to define abstract types in agda
Typed abstract syntax and DSL design in Haskell
Type Level Fix Point while Ensuring Termination
Customize indentation width in haskell-indentation mode
Well founded recursion in Coq