Logiweb(TM)

Logiweb aspects of axiom s ten in pyk

Up Help

The predefined "pyk" aspect

define pyk of axiom s ten as text unicode start of text unicode small a unicode small x unicode small i unicode small o unicode small m unicode space unicode small s unicode space unicode small t unicode small e unicode small n unicode end of text end unicode text end text end define

The predefined "tex" aspect

define tex of axiom s ten as text unicode start of text unicode newline unicode capital s unicode one unicode zero unicode end of text end unicode text end text end define

The pyk compiler, version 0.grue.20060417+ by Klaus Grue,
GRD-2006-06-21.UTC:11:30:14.300977 = MJD-53907.TAI:11:30:47.300977 = LGT-4657606247300977e-6