[Axiom-developer] B natural

[root]

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.

i'll publish the api in volume 4 once it is complete.

t