define pyk of |r x | as text unicode start of text unicode vertical line unicode small r unicode space unicode quotation mark unicode space unicode vertical line unicode end of text end unicode text end text end define
define tex of |r var x | as text unicode start of text unicode vertical line unicode small r unicode number sign unicode one unicode period unicode newline unicode vertical line unicode end of text end unicode text end text end define
define macro of |r var x | as lambda var t dot lambda var s dot lambda var c dot ||Macro( var t head pair expandList( var t tail , var s , var c ) ) end define
The pyk compiler, version 0.grue.20060417+ by Klaus Grue,