diff options
Diffstat (limited to 'stdlib/source/documentation/lux/math/logic/continuous.lux')
| -rw-r--r-- | stdlib/source/documentation/lux/math/logic/continuous.lux | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/stdlib/source/documentation/lux/math/logic/continuous.lux b/stdlib/source/documentation/lux/math/logic/continuous.lux index 9ec977e29..b97474b28 100644 --- a/stdlib/source/documentation/lux/math/logic/continuous.lux +++ b/stdlib/source/documentation/lux/math/logic/continuous.lux @@ -1,7 +1,7 @@ (.require [library [lux (.except private) - ["$" documentation (.only documentation:)] + ["$" documentation] [data ["[0]" text (.only \n) ["%" \\format (.only format)]]] @@ -10,23 +10,22 @@ [\\library ["[0]" /]]) -(documentation: /.implies - "" - [(implies consequent antecedent)]) - (.def .public documentation (.List $.Module) ($.module /._ (format "Continuous logic using Rev values." \n "Continuous logic is logic in the interval [0,1] instead of just the binary #0 and #1 options." \n "Because Rev is being used, the interval is actual [0,1).") - [..implies - ($.default /.false) + [($.default /.false) ($.default /.true) ($.default /.or) ($.default /.disjunction) ($.default /.and) ($.default /.conjunction) ($.default /.not) - ($.default /.=)] + ($.default /.=) + + ($.documentation /.implies + "" + [(implies consequent antecedent)])] [])) |