Logiweb(TM)

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

Up Help

The "pyk" aspect

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

The "tex" aspect

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

The "macro" aspect

define macro of destructure define x as y end define as \ x . expand ( quote macro define destructure define x as y end define as define destructure of root protect x end protect as y end define end define end quote , 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