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:42:14.848103 = MJD-53907.TAI:11:42:47.848103 = LGT-4657606967848103e-6