define pyk of x tagged retract as text unicode start of text unicode quotation mark 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.20060417+ by Klaus Grue,