diff options
Diffstat (limited to 'stdlib/source/library/lux/abstract/comonad.lux')
-rw-r--r-- | stdlib/source/library/lux/abstract/comonad.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/abstract/comonad.lux b/stdlib/source/library/lux/abstract/comonad.lux index d649ea244..5f5279c79 100644 --- a/stdlib/source/library/lux/abstract/comonad.lux +++ b/stdlib/source/library/lux/abstract/comonad.lux @@ -3,7 +3,7 @@ [lux "*" [data [collection - ["[0]" list ("[1]\[0]" mix)]]] + ["[0]" list ("[1]#[0]" mix)]]] [math [number ["n" nat]]] @@ -42,7 +42,7 @@ g!_ (identifier "_") g!each (identifier "each") g!disjoint (identifier "disjoint") - body' (list\mix (: (-> [Code Code] Code Code) + body' (list#mix (: (-> [Code Code] Code Code) (function (_ binding body') (with_expansions [<default> (` (|> (~ value) (~ g!disjoint) ((~ g!each) (function ((~ g!_) (~ var)) (~ body')))))] (let [[var value] binding] |