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-26.UTC:09:52:11.033905 = MJD-53912.TAI:09:52:44.033905 = LGT-4658032364033905e-6