Add decidable equality function _≟_ to Haskell.Law.Eq.Def
#140
| Job | Run time |
|---|---|
| 1m 42s | |
| 1m 17s | |
| 2m 59s |
_≟_ to Haskell.Law.Eq.Def
#140
| Job | Run time |
|---|---|
| 1m 42s | |
| 1m 17s | |
| 2m 59s |