Newsgroups: comp.lang.apl
Path: watmath!watserv1!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!uunet.ca!geac!itcyyz!yrloc!hui
From: hui@yrloc.ipsa.reuter.COM (Roger Hui)
Subject: Re: Help with J
Message-ID: <1991Dec29.223929.12598@yrloc.ipsa.reuter.COM>
Organization: Iverson Software Inc.
References: <1991Dec13.135136.1535@siesoft.co.uk>
Date: Sun, 29 Dec 91 22:39:29 GMT

Ian Wild writes:
>  z =. u CONJ v
>  z n           is equivalent to        u v n
>  m z n         is equivalent to        m u v n
 
The conjunction can be defined   CONJ =. @ : (`\)   .  It may be
instructive to follow the steps in the application of CONJ:
 
u CONJ v
u (@ : (`\)) v                 substitution
(u @ v) : (u (`\) v)           c1 c2 c3  (Dictionary page 5)
(u @ v) : ((u`v)\)             c1 a2     (page 5)
(u @ v) : (u v)                gerund \  (page 13)
 
u CONJ v y
(u @ v) : (u v) y              substitution
u @ v y                        :         (page 10)
u v y                          @         (page 15)
 
x u CONJ v y
x (u @ v) : (u v) y            substitution
x (u v) y                      :         (page 10)
x u v y                        hook      (page 5)

------------------------------------
Roger Hui, Iverson Software Inc., 33 Major Street, Toronto, Ontario  M5S 2K9
Phone: (416) 925 6096;  Fax: (416) 488 7559
