Re: [Axiom-developer] B natural

[Gabriel Dos Reis]

root <address@hidden> 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