diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/abstract/mix.lux (renamed from stdlib/source/test/lux/abstract/fold.lux) | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/abstract/fold.lux b/stdlib/source/test/lux/abstract/mix.lux index 1dbf9eec8..5aac1fd2b 100644 --- a/stdlib/source/test/lux/abstract/fold.lux +++ b/stdlib/source/test/lux/abstract/mix.lux @@ -12,7 +12,7 @@ [number ["n" nat]]]]] [\\library - ["." / (#+ Fold)]]) + ["." / (#+ Mix)]]) (def: .public test Test @@ -21,6 +21,6 @@ (<| (_.covering /._) ($_ _.and (_.cover [/.with_monoid] - (n.= (\ list.fold fold (\ n.addition compose) (\ n.addition identity) samples) - (/.with_monoid n.addition list.fold samples))) + (n.= (\ list.mix mix (\ n.addition compose) (\ n.addition identity) samples) + (/.with_monoid n.addition list.mix samples))) )))) |