radrow

radrow has asked 29 questions and find answers to 25 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'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
What are module signatures in Haskell?
Is it possible to download Github-Actions artifacts directly?

radrow answers

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?
Explaining a currying implementation in Haskell
What files in a Cargo project should be in my .gitignore?