Closed jaredponn closed 8 months ago
Quick PR to allow lambda buffers to generate neq instances.
Note that this implements the function /= by defining it as a /= b = not (a == b) so there certainly is more room for optimization, but this gives us correctness immediately.
/=
a /= b = not (a == b)
Quick PR to allow lambda buffers to generate neq instances.
Note that this implements the function
/=by defining it asa /= b = not (a == b)so there certainly is more room for optimization, but this gives us correctness immediately.