home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / COMPOSE2.LF < prev    next >
Text File  |  1996-06-04  |  204b  |  13 lines
  1. % Mechanism found by Kathleen
  2.  
  3. op(P,K,*),op(P,K,o)? % Same precedence & kind as *.
  4.  
  5. F o G -> comp(func1=>F,func2=>G).
  6.  
  7. comp(func1=>F,func2=>G,X) -> F(G(X)).
  8.  
  9. succ(N) -> N+1.
  10.  
  11. add3 -> succ o succ o succ.
  12.  
  13.