define pyk of tagged if x then x else x end if as text unicode start of text unicode small t unicode small a unicode small g unicode small g unicode small e unicode small d unicode space unicode small i unicode small f unicode space unicode asterisk unicode space unicode small t unicode small h unicode small e unicode small n unicode space unicode asterisk unicode space unicode small e unicode small l unicode small s unicode small e unicode space unicode asterisk unicode space unicode small e unicode small n unicode small d unicode space unicode small i unicode small f unicode end of text end unicode text end text end define
define tex of tagged if x then x else x end if as text unicode start of text unicode newline unicode backslash unicode small m unicode small a unicode small t unicode small h unicode small r unicode small m unicode space unicode left brace unicode capital i unicode small f unicode right brace unicode left parenthesis unicode number sign unicode one unicode period unicode newline unicode comma unicode backslash unicode small l unicode small i unicode small n unicode small e unicode small b unicode small r unicode small e unicode small a unicode small k unicode space unicode left bracket unicode zero unicode right bracket unicode number sign unicode two unicode period unicode newline unicode comma unicode backslash unicode small l unicode small i unicode small n unicode small e unicode small b unicode small r unicode small e unicode small a unicode small k unicode space unicode left bracket unicode zero unicode right bracket unicode number sign unicode three unicode period unicode newline unicode right parenthesis unicode end of text end unicode text end text end define
introduce value of tagged if var x then var y else var z end if as if var x tagged retract then var y tagged retract else var z tagged retract end if end introduce
The pyk compiler, version 0.grue.20050603 by Klaus Grue,