On 11/30/10 16:46, Stephen Tetley wrote:
Andy Gill developed HERA which sounds somewhat similar to what you are
asking, but I don't know that it would be particularly beginner
friendly and I think it was static - i.e. the reduction rules were
applied to program source code rather than within
By tutorial interpreter, I means something like
an expert system having a list of rules and than
a problem which is solved by using those list of
rules. The tutorial means the trace of the
problem state before and after
each rule is applied along with which parts
of the rule are matched with
On Tue, Nov 30, 2010 at 12:08 PM, Larry Evans cppljev...@suddenlink.netwrote:
so now I must manually figure out what the a and b in
the ap declaration correspond to in the return(:) type:
m( a - b )
__ _ _
Andy Gill developed HERA which sounds somewhat similar to what you are
asking, but I don't know that it would be particularly beginner
friendly and I think it was static - i.e. the reduction rules were
applied to program source code rather than within an interactive
evaluation of a running
