updated extra/Subtyping-phil.lagda.md #781
Job | Run time |
---|---|
35m 30s | |
39m 40s | |
43m 0s | |
35m 19s | |
35m 33s | |
35m 10s | |
34m 12s | |
37m 10s | |
39m 22s | |
44m 26s | |
42m 56s | |
0s | |
0s | |
7h 2m 18s |
Job | Run time |
---|---|
35m 30s | |
39m 40s | |
43m 0s | |
35m 19s | |
35m 33s | |
35m 10s | |
34m 12s | |
37m 10s | |
39m 22s | |
44m 26s | |
42m 56s | |
0s | |
0s | |
7h 2m 18s |