Add decidable equality function _≟_ to Haskell.Law.Eq.Def
#735
| Job | Run time |
|---|---|
| 5m 37s | |
| 6m 1s | |
| 6m 34s | |
| 4m 59s | |
| 23m 11s |
_≟_ to Haskell.Law.Eq.Def
#735
| Job | Run time |
|---|---|
| 5m 37s | |
| 6m 1s | |
| 6m 34s | |
| 4m 59s | |
| 23m 11s |