Logiweb aspects of eager define " as " end define in pyk

Up Help

The "pyk" aspect

Define pyk of eager define asterisk as asterisk end define as "eager define "! as "! end define" end define

The "tex" aspect

Define tex of eager define x as y end define as "
[ "[ texname x end texname ] { "
\stackrel{\bullet}{=} "[ y ]"
]" } end define

The "macro" aspect

define macro of eager define u as v end define as \ x . eager1 ( x ) end define

The pyk compiler, version 0.1.9 by Klaus Grue,
GRD-2007-07-12.UTC:20:10:57.067491 = MJD-54293.TAI:20:11:30.067491 = LGT-4690987890067491e-6