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-30.UTC:01:48:56.562305 = MJD-53916.TAI:01:49:29.562305 = LGT-4658348969562305e-6