Without going into detail about the differences with head
normal form and normal form, note that evaluating the scrutinee
of a case expression to normal form (evaluating any function
applications, variable references and case expressions) is
sufficient to decide which case alternatives should be chosen.
Without going into detail about the differences with head
normal form and normal form, note that evaluating the scrutinee
of a case expression to normal form (evaluating any function
applications, variable references and case expressions) is
sufficient to decide which case alternatives should be chosen.