Back to the email C Hillel Wayne Author January 16, 2026, afternoon Ah knowing that the "cut" is only within the definition of \+ is what clears it all up for me, thank you! Also dif/2 is great, I don't know why A \= B desugars to \+ (A = B) and not \+ (A = B) (I know why, it's legacy reasons) Reply and Subscribe
Ah knowing that the "cut" is only within the definition of
\+is what clears it all up for me, thank you!Also
dif/2is great, I don't know whyA \= Bdesugars to\+ (A = B)and not\+ (A = B)(I know why, it's legacy reasons)