[Top][All Lists]

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

[Axiom-developer] B natural

From: root
Subject: [Axiom-developer] B natural
Date: Sun, 4 Jun 2006 14:22:12 -0400

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.


reply via email to

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