Thread by PgwadaS on Thread Reader App Thread Reader App
Weak Head Normal Form. Web weak head normal form. An expression in weak head normal form has been evaluated to the outermost data constructor or.
Thread by PgwadaS on Thread Reader App Thread Reader App
An expression is in weak head normal form (whnf), if it is either: 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.
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. An expression is in weak head normal form (whnf), if it is either: 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.
