radrow

radrow has asked 33 questions and find answers to 29 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 MultiWayIf and classic guards?
"class" message sent to superclass in Smalltalk
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

radrow answers

Is there a way to pass an operator with unknown type in haskell?
Difference between using module, Import-Module, and #requires -Modules
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