diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/math/logic/fuzzy.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/test/lux/math/logic/fuzzy.lux b/stdlib/source/test/lux/math/logic/fuzzy.lux index 1fbf47636..d7e6d1000 100644 --- a/stdlib/source/test/lux/math/logic/fuzzy.lux +++ b/stdlib/source/test/lux/math/logic/fuzzy.lux @@ -7,21 +7,21 @@ [monad {"+" [do]}] [\\specification [functor - ["$." contravariant]]]] + ["$[0]" contravariant]]]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [collection - ["." list] - ["." set]]] + ["[0]" list] + ["[0]" set]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] ["r" rev]]]]] [\\library - ["." / {"+" [Fuzzy]} - ["/#" // "_" - ["#" continuous]]]]) + ["[0]" / {"+" [Fuzzy]} + ["/[1]" // "_" + ["[1]" continuous]]]]) (def: trivial Test |