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 104 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

Law of excluded middle in Agda
RankNTypes with type aliases confusion [duplicate]
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