diff options
Diffstat (limited to 'stdlib/source/library/lux/math/logic')
| -rw-r--r-- | stdlib/source/library/lux/math/logic/continuous.lux | 8 | ||||
| -rw-r--r-- | stdlib/source/library/lux/math/logic/fuzzy.lux | 8 |
2 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/library/lux/math/logic/continuous.lux b/stdlib/source/library/lux/math/logic/continuous.lux index c72e296d1..195601894 100644 --- a/stdlib/source/library/lux/math/logic/continuous.lux +++ b/stdlib/source/library/lux/math/logic/continuous.lux @@ -16,11 +16,11 @@ (-> Rev Rev Rev) <chooser>) - (implementation: .public <monoid> + (def: .public <monoid> (Monoid Rev) - - (def: identity <identity>) - (def: composite <name>))] + (implementation + (def: identity <identity>) + (def: composite <name>)))] [or /.max disjunction ..false] [and /.min conjunction ..true] diff --git a/stdlib/source/library/lux/math/logic/fuzzy.lux b/stdlib/source/library/lux/math/logic/fuzzy.lux index 79555e858..d21962ea6 100644 --- a/stdlib/source/library/lux/math/logic/fuzzy.lux +++ b/stdlib/source/library/lux/math/logic/fuzzy.lux @@ -19,11 +19,11 @@ (type: .public (Fuzzy a) (-> a Rev)) -(implementation: .public functor +(def: .public functor (contravariant.Functor Fuzzy) - - (def: (each f fb) - (|>> f fb))) + (implementation + (def: (each f fb) + (|>> f fb)))) (with_template [<name> <verdict>] [(def: .public <name> |