我正在使用多值逻辑并尝试重载基本逻辑函数.
我没有重载Num和Eq运算符的问题,但我不知道如何重载&&, ||和not.
Num
Eq
&&, ||
not
可能吗？谢谢你的回答!
haskell operator-overloading
haskell ×1
operator-overloading ×1