diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/data/text/unicode/set.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/data/text/unicode/set.lux b/stdlib/source/library/lux/data/text/unicode/set.lux index 3ee3dfb49..ce4b6f7d5 100644 --- a/stdlib/source/library/lux/data/text/unicode/set.lux +++ b/stdlib/source/library/lux/data/text/unicode/set.lux @@ -5,8 +5,8 @@ [equivalence {"+" [Equivalence]}]] [data [collection - ["[0]" list ("[1]\[0]" mix functor)] - ["[0]" set ("[1]\[0]" equivalence)] + ["[0]" list ("[1]#[0]" mix functor)] + ["[0]" set ("[1]#[0]" equivalence)] ["[0]" tree "_" ["[1]" finger {"+" [Tree]}]]]] [type {"+" [:by_example]} @@ -32,18 +32,18 @@ (def: .public (composite left right) (-> Set Set Set) (:abstraction - (\ builder branch + (# builder branch (:representation left) (:representation right)))) (def: (singleton block) (-> Block Set) (:abstraction - (\ builder leaf block []))) + (# builder leaf block []))) (def: .public (set [head tail]) (-> [Block (List Block)] Set) - (list\mix (: (-> Block Set Set) + (list#mix (: (-> Block Set Set) (function (_ block set) (..composite (..singleton block) set))) (..singleton head) @@ -229,7 +229,7 @@ (Equivalence Set) (def: (= reference subject) - (set\= (set.of_list //block.hash (tree.tags (:representation reference))) + (set#= (set.of_list //block.hash (tree.tags (:representation reference))) (set.of_list //block.hash (tree.tags (:representation subject)))))) ) |