define pyk of 01// x as text unicode start of text unicode zero unicode one unicode slash unicode slash unicode space unicode quotation mark unicode end of text end unicode text end text end define
define tex of 01// var x as text unicode start of text unicode zero unicode one unicode slash unicode slash unicode small t unicode small e unicode small m unicode small p unicode number sign unicode one unicode period unicode end of text end unicode text end text end define
define macro of 01// var x as lambda var t dot lambda var s dot lambda var c dot 01//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,