Logiweb(TM)

Logiweb aspects of BoolTag in pyk

Up Help

The "pyk" aspect

Define pyk of BoolTag as "BoolTag" end define

The "value" aspect

define value of BoolTag as Zero Pair Zero end define

The pyk compiler, version 0.1.9 by Klaus Grue,
GRD-2007-07-12.UTC:20:10:57.067491 = MJD-54293.TAI:20:11:30.067491 = LGT-4690987890067491e-6