aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation/lux/math/logic/continuous.lux
blob: 12e3e83221d4ad8377f1f5991fd3fe8d190bc485 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
(.module:
  [library
   [lux {"-" private}
    ["$" documentation {"+" documentation:}]
    [data
     ["[0]" text {"+" \n}
      ["%" format {"+" format}]]]
    [macro
     ["[0]" template]]]]
  [\\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 /.true)
             ($.default /.or)
             ($.default /.disjunction)
             ($.default /.and)
             ($.default /.conjunction)
             ($.default /.not)
             ($.default /.=)]
            []))