Rewrite type system and compiler (v4) #354
Job | Run time |
---|---|
26s | |
12s | |
24s | |
1m 9s | |
1m 2s | |
45s | |
33s | |
36s | |
53s | |
2m 45s | |
2m 1s | |
54s | |
1m 3s | |
1m 21s | |
0s | |
0s | |
14m 4s |
Job | Run time |
---|---|
26s | |
12s | |
24s | |
1m 9s | |
1m 2s | |
45s | |
33s | |
36s | |
53s | |
2m 45s | |
2m 1s | |
54s | |
1m 3s | |
1m 21s | |
0s | |
0s | |
14m 4s |