diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/data/text/unicode/set.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/library/lux/data/text/unicode/set.lux b/stdlib/source/library/lux/data/text/unicode/set.lux index fe2f5d6fe..bab5bf9ae 100644 --- a/stdlib/source/library/lux/data/text/unicode/set.lux +++ b/stdlib/source/library/lux/data/text/unicode/set.lux @@ -5,16 +5,16 @@ [equivalence {"+" [Equivalence]}]] [data [collection - ["." list ("#\." mix functor)] - ["." set ("#\." equivalence)] - ["." tree "_" - ["#" finger {"+" [Tree]}]]]] + ["[0]" list ("[1]\[0]" mix functor)] + ["[0]" set ("[1]\[0]" equivalence)] + ["[0]" tree "_" + ["[1]" finger {"+" [Tree]}]]]] [type {"+" [:by_example]} abstract]]] - ["." / "_" - ["/#" // "_" + ["[0]" / "_" + ["/[1]" // "_" [// {"+" [Char]}] - ["#." block {"+" [Block]}]]]) + ["[1][0]" block {"+" [Block]}]]]) (def: builder (tree.builder //block.monoid)) |