[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] B natural

From: Gabriel Dos Reis
Subject: Re: [Axiom-developer] B natural
Date: 05 Jun 2006 07:06:54 -0500

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]