on bfaa358 help sign in
46 lines 578 B history raw
1### `++lth`
3Less-than
5Tests whether `a` is less than `b`.
7Accepts
8-------
10`a` is an [atom]().
12`b` is an atom.
14Produces
15--------
17A boolean.
19Source
20------
22 ++ lth :: less-than
23 ~/ %lth
24 |= {a/@ b/@}
25 ^- ?
26 ?& !=(a b)
27 |-
28 ?| =(0 a)
29 ?& !=(0 b)
30 $(a (dec a), b (dec b))
31 == == ==
33Examples
34--------
36 ~zod/try=> (lth 4 5)
37 %.y
38 ~zod/try=> (lth 5 4)
39 %.n
40 ~zod/try=> (lth 5 5)
41 %.n
42 ~zod/try=> (lth 5 0)
43 %.n
46***