Fixed a tiny typo
commit1b8afb144b62094812d13f4000ec495c4fc392e9
authorSynthetica9 <patrickhilhorst97@gmail.com>
dateWed 19 Apr 2017, 14:28 (10 years ago)
parentd5b8435
libs/contrib/Data/SortedSet.idr+1−1
@@ -42,7 +42,7 @@ export
4242difference : (x, y : SortedSet k) -> SortedSet k
4343difference x y = foldr delete x y
4444
45−||| Set symetric difference. Uses the union of the differences.
45+||| Set symmetric difference. Uses the union of the differences.
4646export
4747symDifference : (x, y : SortedSet k) -> SortedSet k
4848symDifference x y = union (difference x y) (difference y x)