Documentation

Lake.Util.List

def Lake.List.squeeze {α : Type u_1} [BEq α] :
List αList α

Remove adjacent duplicates.

Instances For