[ fix ] Make traverse
and friends lazy for LazyList
#3
Job | Run time |
---|---|
7s | |
30m 54s | |
32m 17s | |
24m 55s | |
19m 27s | |
16m 44s | |
23m 47s | |
34m 15s | |
17m 38s | |
7m 27s | |
30m 3s | |
44s | |
22m 36s | |
3m 49s | |
2m 36s | |
26m 3s | |
12m 43s | |
0s | |
16m 14s | |
5h 22m 19s |