home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / NESTING.LF < prev    next >
Text File  |  1996-06-04  |  131b  |  11 lines
  1.  
  2. % Nice test of nesting
  3.  
  4. f(s(A)) -> A*A.
  5.  
  6. B=f(s(f(s({1;2;3})))),write(B),nl,fail?
  7.  
  8. % B=f(s(f(s({1;W;3}))))?
  9. % Give W a value too.
  10.  
  11.