on 492ae2f help sign in
43 lines 479 B history raw
1### `++lte`
3Less-than/equal
5Tests whether `a` is less than or equal to `b`.
7Accepts
8-------
10`a` is an atom.
12`b` is an atom.
14Produces
15--------
17A boolean.
19Source
20------
22 ++ lte :: less-equal
23 ~/ %lte
24 |= {a/@ b/@}
25 |(=(a b) (lth a b))
27 ::
29Examples
30--------
32 ~zod/try=> (lte 4 5)
33 %.y
34 ~zod/try=> (lte 5 4)
35 %.n
36 ~zod/try=> (lte 5 5)
37 %.y
38 ~zod/try=> (lte 0 0)
39 %.y
43***