gallais

gallais has asked 9 questions and find answers to 114 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 simplify real number terms in Coq?
Agda. Parameters before/after colon
Haskell: Couldn't match type ‘[Char]’ with ‘Text’
How would you implement a Grid in a functional language?
Evaluating `IO` Actions from REPL
Does idris support a way to collapse symmetrical statements into one?
simple ocaml graphics progam that close before its window is displayed
Removing duplicate elements in a Seq
Proving concatenation of language is associative in Agda
Map with Strings as Keys in Agda?