radrow

radrow has asked 31 questions and find answers to 27 problems.

Stats

About

I am fully aware that my avatar refers to the Half Life game series, not to the lambda calculus. Fear not, I am not a poser because I love both.

radrow questions

What is the difference between :~: and :~~: equalities?
How to prevent all windows from floating (xmonad)
What's the difference between function_clause and badarg in Erlang?
Update single record field in Coq
What are the differences between ETS, persistent_term and process dictionaries?
Who is the sender of Erlang's trace messages and what can I assume based on it?
Agda – difference between type args on the left and right side of the colon
Import a type family that is an operator in Haskell
:sprint and `seq` together - missing evaluation?
Unification of higher rank types on contravariant positions

radrow answers

Is there anything like Haskell "guarded equations" in modern C++?
How can I get GHC to warn about incomplete pattern bindings in do blocks?
Why function is the first argument in Haskell
Instrumented State monad
groupBy function which groups non-adjacent elements
Alternative of Show that only uses name
How to fix "variable not in scope" error in GHCI?
Memoize multi-dimensional recursive solutions in haskell
How to define multiple executables / Main modules with stack/hpack
:sprint and `seq` together - missing evaluation?