Logiweb(TM)

Logiweb aspects of {MissingArg} neq {MissingArg} in pyk

Up Help

The predefined "pyk" aspect

define pyk of x neq x as text unicode start of text unicode quotation mark unicode space unicode small n unicode small e unicode small q unicode space unicode quotation mark unicode end of text end unicode text end text end define

The predefined "tex" aspect

define tex of var x neq var y as text unicode start of text unicode number sign unicode one unicode period unicode space unicode newline unicode backslash unicode small n unicode small e unicode small q unicode space unicode number sign unicode two unicode period unicode end of text end unicode text end text end define

The predefined "macro" aspect

define macro of var x neq var y as lambda var t dot lambda var s dot lambda var c dot macro define four var t state var s cache var c definition quote macro define var x neq var y as not parenthesis var x equal var y end parenthesis end define end quote end define end define

The pyk compiler, version 0.grue.20060417+ by Klaus Grue,
GRD-2006-06-30.UTC:01:48:56.562305 = MJD-53916.TAI:01:49:29.562305 = LGT-4658348969562305e-6