diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/math/logic/continuous.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/math/logic/continuous.lux b/stdlib/source/library/lux/math/logic/continuous.lux index 738497496..fdcfc51f3 100644 --- a/stdlib/source/library/lux/math/logic/continuous.lux +++ b/stdlib/source/library/lux/math/logic/continuous.lux @@ -1,12 +1,12 @@ ... https://en.wikipedia.org/wiki/Many-valued_logic -(.using +(.require [library [lux (.except false true or and not) [abstract [monoid (.only Monoid)]] [math [number - ["/" rev (.open: "[1]#[0]" interval)]]]]]) + ["/" rev (.use "[1]#[0]" interval)]]]]]) (def .public false Rev /#bottom) (def .public true Rev /#top) |