search

mdiep / Logician

Logic programming in Swift
MIT License
194 stars 10 forks source link

Add support for deconstructing tuple variables #17

Closed mdiep closed 8 years ago

mdiep commented 8 years ago

Given Variable<(A, B)>, you should be able to get Variable<A> and Variable<B>.

mdiep commented 8 years ago

Obsolete as of #18 because all Variable.Values are Equatable. This might be desirable again after Swift 4.