Wrote spec and implementation for quick sort algorithm