Change the definition of tagtype
from functype
into deftype
#269
Job | Run time |
---|---|
26s | |
1m 45s | |
8m 18s | |
29s | |
6s | |
28s | |
2m 57s | |
16s | |
14m 45s |
tagtype
from functype
into deftype
#269
Job | Run time |
---|---|
26s | |
1m 45s | |
8m 18s | |
29s | |
6s | |
28s | |
2m 57s | |
16s | |
14m 45s |