search

kyouko-taiga / SwiftKanren

A Swift implementation of miniKanren.
MIT License
6 stars 3 forks source link

Conjunction instead of disjunction #1

Closed didierbuchs closed 7 years ago

didierbuchs commented 7 years ago

In the text of the read.me the translation of the && swift opérator into Logic is Wong.