erreur in example: LogicKit/Examples/Tree/main.swift

kyouko-taiga / SwiftKanren

A Swift implementation of miniKanren.

MIT License

6 stars 3 forks source link

Open didierbuchs opened 7 years ago

didierbuchs commented 7 years ago

ligne 29

(lhs ≡ succ(x)) && (lhs ≡ succ(y)) && diff(x, y, result)

le deuxième lhs devrait être rhs !!