On 9/4/07, Bill Page wrote: > ... > On 9/3/07, Gabriel Dos Reis wrote: > > On Mon, 3 Sep 2007, Bill Page wrote: > ... > > | How do you see FOAM being involved? > > > > I would like to see more documentation of FOAM and its semantics -- > > I know there is a documentation; but I'm not sure how current it is > > and whether it provides me with all I need. I briefly discussed the > > documentation issue with Stephen when I was in London last July. > > > > What do you need to investigate this issue more deeply? Are you > willing to devote some time to reviewing and expanding the FOAM > documentation? >
This reminds me to mention that the issue of FOAM and other Aldor documentation was also raised at the recent Aldor Workshop. One thing that came to light was some additional and more recent documentation that was apparently translated from something originally in German. I regret that I did not take specific note of the author or obtain a photocopy of the document that I briefly examined at the workshop (provided by Laurentiu Dragan) but I am sure that Laurentiu knows to which document I am referring. I think that it might be very useful to make this document available for download from the Aldor Wiki. If an electronic format (e.g. dvi, pdf) is not available than even a scanned format would be useful. Regards, Bill Page. _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
