define pyk of x peano equal x as text unicode start of text unicode asterisk 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 asterisk 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.20050603 by Klaus Grue,