Logiweb(TM)

Logiweb aspects of If " then " else " in pyk

Up Help

The "pyk" aspect

Define pyk of If asterisk then asterisk else asterisk as "If "! then "! else "!" end define

The "tex" aspect

Define tex of If x then y else z as "
{\bf If} \ \linebreak [0]"[ x ] { "
\ {\bf then} \ \linebreak [0]"[ y ] { "
\ {\bf else} \ \linebreak [0]"[ z ]"" } } end define

The "value" aspect

Proclaimed as "if"

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