A function from `Not (x = y)` to `decEq x y = No _` was added.
A function from `Not (x = y)` to `decEq x y = No _` was added.

mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm