docs: typo in list difference documentation

[scarf005]

Description

Idris2/libs/base/Data/List.idr

Lines 273 to 287 in 6729fa8

	infix 7 \\
	||| The non-associative list-difference.
	||| A specialized form of @deleteFirstsBy@ where the predicate is equality under the @Eq@
	||| interface.
	||| Deletes the first occurrence of each element of the second list from the first list.
	|||
	||| In the following example, the result is `[2, 4]`.
	||| ```idris example
	||| [1, 2, 3, 4] // [1, 3]
	||| ```
	|||
	public export
	(\\) : Eq a => List a -> List a -> List a
	(\\) = foldl (flip delete)

A trivial typo fix for \\ in Data.List where the example had a typo showing it as //

Should this change go in the CHANGELOG?

I guess probably not.

[mattpolzin]

Thanks! That typo has been bugging me for a while.