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) You're not signed in. Posting this comment will subscribe you to this newsletter with the email address you enter below. 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)