Weak head normal form: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

5 April 2021

28 June 2014

  • curprev 01:3401:34, 28 June 2014Oerjan talk contribs 1,558 bytes +592 Add a note about strict fields and note (inspired by Stack Overflow question) that the difference between builtin and defined functions is immaterial.

25 December 2012

18 February 2012

21 November 2011

19 November 2011

  • curprev 00:2200:22, 19 November 2011Henk-Jan van Tuyl talk contribs 581 bytes +581 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...