Logiweb(TM)

Logiweb aspects of checker in pyk

Up Help

The predefined "pyk" aspect

define pyk of checker as text unicode start of text unicode small c unicode small h unicode small e unicode small c unicode small k unicode small e unicode small r unicode end of text end unicode text end text end define

The predefined "value" aspect

define value of checker as lambda var t dot lambda var c dot check var t cache var c end check end define

The pyk compiler, version 0.grue.20050603 by Klaus Grue,
GRD-2005-06-03.UTC:15:49:33.495567 = MJD-53524.TAI:15:50:05.495567 = LGT-4624530605495567e-6