Logiweb(TM)

Logiweb aspects of " :: " in pyk

Up Help

The "pyk" aspect

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

The "tex" aspect

Define tex of x :: y as ""[ x ] { "
\mathop{:\,:} "[ y ]"" } end define

The "value" aspect

optimized define value of x :: y as norm { x is val : { y is val : { PairTag Pair { x norm Pair { y norm } } } } } end define

The "destructure" aspect

define destructure of u :: v as { if asterisk atom then asterisk else { asterisk head } } :: { { if asterisk atom then asterisk else { asterisk tail } } :: true } 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