define macro of var x hypothetical modus ponens var y as lambda var t dot lambda var s dot lambda var c dot macro define four var t state var s cache var c definition quote macro define var x hypothetical modus ponens var y as ( hypothetical rule prime mp modus ponens var x ) modus ponens var y end define end quote end define end define
The pyk compiler, version 0.grue.20050603 by Klaus Grue,