Implement logic for equalities involving the same variable twice

ekmett / guanxi

Relational programming in Haskell. Mostly developed on twitch.

http://twitch.tv/ekmett

Other

256 stars 29 forks source link

Closed gwils closed 5 years ago

gwils commented 5 years ago

Please review the following code carefully. I've written tests, but I'm not sure it's correct.

gwils commented 5 years ago

ping @ekmett

ekmett commented 5 years ago

Merging. Any issues will be resolved post merge.