Add Alpha
and Subst
instances for NonEmpty
#40
Job | Run time |
---|---|
4m 36s | |
4m 8s | |
3m 49s | |
2m 10s | |
2m 22s | |
2m 7s | |
2m 7s | |
2m 5s | |
2m 44s | |
26m 8s |
Alpha
and Subst
instances for NonEmpty
#40
Job | Run time |
---|---|
4m 36s | |
4m 8s | |
3m 49s | |
2m 10s | |
2m 22s | |
2m 7s | |
2m 7s | |
2m 5s | |
2m 44s | |
26m 8s |