LATER -- a hypertext element for lazy evaluation

Synopsis

• Usage:

  LATER {f}

• Inputs:
  • f, a function
• Outputs:
  • an instance of the type LATER

Description

i1 : f = () -> DIV { "hi there" }

o1 = f

o1 : FunctionClosure

i2 : LATER {f}

o2 = hi there

i3 : peek oo

o3 = LATER{f}