gallais

Questions Linux Laravel Mysql Ubuntu Git Menu

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

gallais has asked 8 questions and find answers to 97 problems.

Stats

About

gallais questions

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 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
Coq can't discriminate between constructors for dependently typed inductive proposition
Haskell cycle a vector
Define an inductive dependent-type with constraints on the type-parameter
Applying lifted functions to tuples (of arbitrary length) in Haskell
How to write less boilerplate in a expression evaluator written with recursion-schemes