path: root/examples/the-little-prover.scm

(use-modules (vikalpa)
             (vikalpa the-little-prover))

(define-system the-little-prover-0 (the-little-prover)
  )