|
From: | Ralf Hemmecke |
Subject: | Re: [Axiom-developer] Bootstrap documentation. |
Date: | Tue, 08 May 2007 11:08:55 +0200 |
User-agent: | Thunderbird 2.0.0.0 (X11/20070326) |
I want distinct domains for literals, fields, types, expressions, etc.
Do you insist on domains or would something like the ExpressionTree and friends in LibAlgebra http://www-sop.inria.fr/cafe/Manuel.Bronstein/algebra/ do?
I guess you'd need domains for mutual recursion in the grammar, right? Ralf
[Prev in Thread] | Current Thread | [Next in Thread] |