Weak head normal form - Revision history

Heiner: added abbreviation WHNF

Heiner — Tue, 25 Dec 2012 23:47:13 GMT

added abbreviation WHNF

J.P. (Jack) Klappe at 23:00, 18 February 2012

J.P. (Jack) Klappe — Sat, 18 Feb 2012 23:00:48 GMT

SimonFarnsworth at 11:52, 21 November 2011

SimonFarnsworth — Mon, 21 Nov 2011 11:52:43 GMT

Henk-Jan van Tuyl: New page: An expression is in weak head normal form, iff it is either: * a constructor (eventually applied to arguments) like True, Just (square 42) or (:) 1 * a built-in function applied to too few...

Henk-Jan van Tuyl — Sat, 19 Nov 2011 00:22:30 GMT

New page: An expression is in weak head normal form, iff it is either: * a constructor (eventually applied to arguments) like True, Just (square 42) or (:) 1 * a built-in function applied to too few...