diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/abstract/comonad/cofree.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/lux/abstract/comonad/cofree.lux b/stdlib/source/lux/abstract/comonad/cofree.lux index eadfa788f..8e43cd9bf 100644 --- a/stdlib/source/lux/abstract/comonad/cofree.lux +++ b/stdlib/source/lux/abstract/comonad/cofree.lux @@ -12,7 +12,7 @@ (All [F] (-> (Functor F) (Functor (CoFree F)))) (def: (map f [head tail]) - [(f head) (:: dsl map (map f) tail)])) + [(f head) (\ dsl map (map f) tail)])) (structure: #export (comonad dsl) (All [F] (-> (Functor F) (CoMonad (CoFree F)))) @@ -24,4 +24,4 @@ (def: (split [head tail]) [[head tail] - (:: dsl map split tail)])) + (\ dsl map split tail)])) |