home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / NONSTRIC.I00 < prev    next >
Text File  |  1996-06-04  |  143b  |  13 lines

  1. A=s(a(X),b(X:(1+2)))?
  2.  
  3. B=s(b(X),a(X:(1+2)))?
  4.  
  5. C=s(a(X:(1+2)),b(X))?
  6.  
  7. D=s(b(X:(1+2)),a(X))?
  8.  
  9. non_strict(foo)?
  10. foo(X).
  11. cond(true,foo(X:(1+2)))?
  12.  
  13.