Skip to content

refactor: remove @[simp] from List.modifyHead (#790) #338

refactor: remove @[simp] from List.modifyHead (#790)

refactor: remove @[simp] from List.modifyHead (#790) #338

merge-to-nightly

succeeded May 10, 2024 in 4s