The notation you mention is not Haskell code, but a meta-notation for substitution which is frequently used in programming languages theory.
If e
and t
are Haskell expressions, and x
is a Haskell variable, we write e [x := t]
to denote the expression e
where all the free occurrences…
Top comments (0)