The source project of this merge request has been removed.
generalize bin_op_eval
With this, I can use wp_op to evaluate #false = #false.
Notice that I moved the instance deriving in lang.v to make things work, but I don't know if it is good :/
@robbertkrebbers @jung any comments?