Fix bug of "cvc4-driver.scm:22:8: if: missing an "else" expression" - Githubissues

namin / clpsmt-miniKanren

CLP(SMT) on top of miniKanren

MIT License

35 stars 8 forks source link

Fix bug of "cvc4-driver.scm:22:8: if: missing an "else" expression" #8

Closed chansey97 closed 3 years ago

chansey97 commented 3 years ago

Racket and Scheme's if are not compatible, use when instead.