refactor: remove @[simp]
from List.modifyHead
(#790)
#338
Job | Run time |
---|---|
4s | |
4s |
@[simp]
from List.modifyHead
(#790)
#338
Job | Run time |
---|---|
4s | |
4s |