Weak Head Normal Form. Web weak head normal form. Web weak head normal form.
An Applicative Order Interpreter for the Lambda
An expression is in weak head normal form (whnf), if it is either: Web weak head normal form. Web in particular, weak head normal forms are considered canonical, so their meaning is already fully laid out (the converse does. Web weak head normal form. An expression in weak head normal form has been evaluated to the outermost data constructor or.
Web weak head normal form. Web in particular, weak head normal forms are considered canonical, so their meaning is already fully laid out (the converse does. Web weak head normal form. An expression in weak head normal form has been evaluated to the outermost data constructor or. An expression is in weak head normal form (whnf), if it is either: Web weak head normal form.
