Thanks Alex!
On Thu, Aug 20, 2020 at 11:02 PM Alexander Burger
wrote:
> Hi Kashyap,
>
> > init.s defines append as follows -
> > append {doAppend}
> > ,NIL @X @X)) (((@A . @X) @Y (@A . @Z)) (append @X @Y @Z))) . T)
> >
> > I gather that the second line that starts with ',' adds properties to
Hi Kashyap,
> init.s defines append as follows -
> append {doAppend}
> ,NIL @X @X)) (((@A . @X) @Y (@A . @Z)) (append @X @Y @Z))) . T)
>
> I gather that the second line that starts with ',' adds properties to the
> symbol.
Yes, that's correct.
> It is not clear to me what the properties are
