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?