diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/data/collection/set.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/data/collection/set.lux b/stdlib/source/library/lux/data/collection/set.lux index 32fabd6b7..585ee60eb 100644 --- a/stdlib/source/library/lux/data/collection/set.lux +++ b/stdlib/source/library/lux/data/collection/set.lux @@ -8,12 +8,12 @@ [monoid {"+" [Monoid]}]] [data [collection - ["." list ("#\." mix)]]] + ["[0]" list ("[1]\[0]" mix)]]] [math [number ["n" nat]]]]] - ["." // "_" - ["#" dictionary {"+" [Dictionary]}]]) + ["[0]" // "_" + ["[1]" dictionary {"+" [Dictionary]}]]) (type: .public (Set a) (Dictionary a Any)) |