|
From: | Ralf Hemmecke |
Subject: | Re: [Axiom-developer] Bootstrap documentation. |
Date: | Tue, 08 May 2007 17:30:48 +0200 |
User-agent: | Thunderbird 2.0.0.0 (X11/20070326) |
So Plus: (SPECIES, SPECIES) -> SPECIES as an addition of species. Does that look simpler?Yes, excellent. That is much better. Now L only appears explicity in the body of the function. Is it equivalent to what Martin wrote?
Yes that compiles and "make check" does not report an error. Ralf
[Prev in Thread] | Current Thread | [Next in Thread] |