Skip to content

GitLab

Rename sort_list_int to quicksort.

1 job for ci/simpl_quicksort in 14 minutes and 37 seconds (queued for 3 seconds)
e29dfb73
1 related merge request: !4 Add simplification instance for list ≠ [], needed for quicksort