Logiweb(TM)

Logiweb aspects of * imply * in pyk

Up Help

The predefined "pyk" aspect

define pyk of var x imply var y as text unicode start of text unicode asterisk unicode space unicode small i unicode small m unicode small p unicode small l unicode small y unicode space unicode asterisk unicode end of text end unicode text end text end define

The predefined "tex" aspect

define tex of var x imply var y as text unicode start of text unicode number sign unicode one unicode period unicode space unicode newline unicode backslash unicode capital r unicode small i unicode small g unicode small h unicode small t unicode small a unicode small r unicode small r unicode small o unicode small w unicode space unicode number sign unicode two unicode period unicode end of text end unicode text end text end define

The predefined "value" aspect

define value of var x imply var y as ( not var x ) or var y end define

The pyk compiler, version 0.grue.20050603 by Klaus Grue,
GRD-2005-06-06.UTC:10:04:56.802958 = MJD-53527.TAI:10:05:28.802958 = LGT-4624769128802958e-6