;;;; package.lisp (defpackage #:markov-algorithm (:use #:cl) (export #:make-formula #:lhs #:rhs #:formulap #:compile-markov-algorithm #:formulap #:schemep))