root <[EMAIL PROTECTED]> writes: | axiom is made of of many layers, and the interface between the parser | and the rest of the system occurs at pf2sex. (parse form to s-expression). | | one of the tasks i'm working on is reverse engineering the pf2sex interface. | once i figure out the various data structures and their associated methods | someone can consider the problem of changing the parser (and thus the input | language) used by axiom. this would likely be useful information for anyone | interested in a B-natural language design.
Yes, please! And thanks for bumping this on the top of the todo list. Also, I have been looking for the a formal grammar description of SPAD. Where can I find it? The AXIOM book seems silent about it.... -- Gaby _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
