Change the definition of tagtype
from functype
into deftype
#110
Job | Run time |
---|---|
2m 18s | |
32s | |
31s | |
3m 21s |
tagtype
from functype
into deftype
#110
Job | Run time |
---|---|
2m 18s | |
32s | |
31s | |
3m 21s |