Logiweb(TM)

Logiweb aspects of {MissingArg} is existential var in pyk

Up Help

The predefined "pyk" aspect

define pyk of x is existential var as text unicode start of text unicode quotation mark unicode space unicode small i unicode small s unicode space unicode small e unicode small x unicode small i unicode small s unicode small t unicode small e unicode small n unicode small t unicode small i unicode small a unicode small l unicode space unicode small v unicode small a unicode small r unicode end of text end unicode text end text end define

The predefined "tex" aspect

define tex of var x is existential var as text unicode start of text unicode number sign unicode one unicode period unicode newline unicode space unicode circumflex unicode left brace unicode capital e unicode small x unicode right brace unicode end of text end unicode text end text end define

The predefined "value" aspect

define value of var x is existential var as var x term root equal quote existential var var x end var end quote end define

The pyk compiler, version 0.grue.20060417+ by Klaus Grue,
GRD-2006-08-24.UTC:08:13:50.904458 = MJD-53971.TAI:08:14:23.904458 = LGT-4663124063904458e-6