diff options
Diffstat (limited to 'stdlib/source/documentation/lux/math/logic/continuous.lux')
| -rw-r--r-- | stdlib/source/documentation/lux/math/logic/continuous.lux | 39 |
1 files changed, 20 insertions, 19 deletions
diff --git a/stdlib/source/documentation/lux/math/logic/continuous.lux b/stdlib/source/documentation/lux/math/logic/continuous.lux index f134a7236..f6198bfeb 100644 --- a/stdlib/source/documentation/lux/math/logic/continuous.lux +++ b/stdlib/source/documentation/lux/math/logic/continuous.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except private) + [lux (.except) ["$" documentation] [data ["[0]" text (.only \n) @@ -8,22 +8,23 @@ [\\library ["[0]" /]]) -(.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).") - [($.definition /.false) - ($.definition /.true) - ($.definition /.or) - ($.definition /.disjunction) - ($.definition /.and) - ($.definition /.conjunction) - ($.definition /.not) - ($.definition /.=) +(def .public documentation + (.List $.Documentation) + (list ($.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).")) - ($.definition /.implies - "" - [(implies consequent antecedent)])] - [])) + ($.definition /.false) + ($.definition /.true) + ($.definition /.or) + ($.definition /.disjunction) + ($.definition /.and) + ($.definition /.conjunction) + ($.definition /.not) + ($.definition /.=) + + ($.definition /.implies + "" + [(implies consequent antecedent)]) + )) |