search

ekmett / guanxi

Relational programming in Haskell. Mostly developed on twitch.
http://twitch.tv/ekmett
Other
256 stars 29 forks source link

Incorrect merge of roots of known-disjoint terms #19

Open np opened 3 years ago

np commented 3 years ago

Shouldn't it be notm <> notn here ?

https://github.com/ekmett/guanxi/blob/e267f4210a9c10d0091371ea9b028b7d6fa8b9f3/src/Equality.hs#L90

gwils commented 3 years ago

Looks likely.