feat: switching List lookup normal forms to L[n]
and L[n]?
#17868
Job | Run time |
---|---|
6s | |
31m 23s | |
12m 45s | |
25m 0s | |
52m 6s | |
31m 12s | |
17m 11s | |
57m 19s | |
24m 25s | |
30m 37s | |
45m 19s | |
2s | |
0s | |
0s | |
5h 27m 25s |