`Data.List.Base.reverse` is self adjoint wrt `Data.List.Relation.Binary.Subset.Setoid._⊆_`#2378

jamesmckinna merged 6 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:reverse-self-adjointjamesmckinna/agda-stdlib:reverse-self-adjointCopy head branch name to clipboard