[ elab ] Support more applicative traversals of TTImp
#151
Job | Run time |
---|---|
6s | |
16m 4s | |
12m 43s | |
19m 32s | |
30m 55s | |
26m 6s | |
44m 3s | |
14m 29s | |
17m 18s | |
8m 44s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
38m 30s | |
0s | |
3h 48m 30s |