define pyk of x peano equal x as text unicode start of text unicode quotation mark unicode space unicode small p unicode small e unicode small a unicode small n unicode small o unicode space unicode small e unicode small q unicode small u unicode small a unicode small l unicode space unicode quotation mark unicode end of text end unicode text end text end define
define tex of x peano equal x as text unicode start of text unicode number sign unicode one unicode period unicode newline unicode backslash unicode small s unicode small t unicode small a unicode small c unicode small k unicode small r unicode small e unicode small l unicode space unicode left brace unicode capital p unicode right brace unicode left brace unicode backslash unicode small a unicode small p unicode small p unicode small r unicode small o unicode small x unicode space unicode right brace unicode number sign unicode two unicode period unicode end of text end unicode text end text end define
define value of var x peano equal var y as var x is singular select tagged if var y is singular then true else false end if else tagged if var y is singular then false else var x head tagged equal var y head and var x tail tagged equal var y tail end if end select end define
The pyk compiler, version 0.grue.20060417+ by Klaus Grue,