diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/math/logic/continuous.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/math/logic/continuous.lux b/stdlib/source/library/lux/math/logic/continuous.lux index 26d77139c..51a915d43 100644 --- a/stdlib/source/library/lux/math/logic/continuous.lux +++ b/stdlib/source/library/lux/math/logic/continuous.lux @@ -6,10 +6,10 @@ [monoid {"+" [Monoid]}]] [math [number - ["/" rev ("[1]\[0]" interval)]]]]]) + ["/" rev ("[1]#[0]" interval)]]]]]) -(def: .public false Rev /\bottom) -(def: .public true Rev /\top) +(def: .public false Rev /#bottom) +(def: .public true Rev /#top) (template [<name> <chooser> <monoid> <identity>] [(def: .public <name> |