define pyk of x tagged retract as text unicode start of text unicode asterisk unicode space unicode small t unicode small a unicode small g unicode small g unicode small e unicode small d unicode space unicode small r unicode small e unicode small t unicode small r unicode small a unicode small c unicode small t unicode end of text end unicode text end text end define
define tex of x tagged retract as text unicode start of text unicode number sign unicode one unicode period unicode newline unicode left brace unicode right brace unicode circumflex unicode capital m unicode end of text end unicode text end text end define
introduce value of var x tagged retract as if var x then true else if var x raw head then true eager pair ( var x raw tail cardinal retract ) else if var x raw head raw tail raw head then var x raw tail raw head tagged retract tagged pair ( var x raw tail raw tail tagged retract ) else map tag var x raw tail end tag end if end if end if end introduce
The pyk compiler, version 0.grue.20050502+ by Klaus Grue,