2d
commit0f63f73b52a9886715b030a35a085e676a593129
authorHenry Ault <henry@tlon.io>
dateMon 14 Mar 2016, 18:36 (11 years ago)
parent35c05e6
docs/system/hoon/library/src/2d/gate/con.md+4−4
@@ -22,7 +22,7 @@ Source
2222
2323 ++ con :: binary or
2424 ~/ %con
25− |= [a=@ b=@]
25+ |= {a/@ b/@}
2626 =+ [c=0 d=0]
2727 |- ^- @
2828 ?: ?&(=(0 a) =(0 b)) d
@@ -30,9 +30,9 @@ Source
3030 a (rsh 0 1 a)
3131 b (rsh 0 1 b)
3232 c +(c)
33− d %+ add d
34− %^ lsh 0 c
35− ?& =(0 (end 0 1 a))
33+ d %+ add d
34+ %^ lsh 0 c
35+ ?& =(0 (end 0 1 a))
3636 =(0 (end 0 1 b))
3737 ==
3838 ==
docs/system/hoon/library/src/2d/gate/dis.md+6−6
@@ -2,7 +2,7 @@
22
33Binary AND
44
5−Computes the bit-wise logical AND of two [atom]()s `a` and `b`, producing an
5+Computes the bit-wise logical AND of two atoms `a` and `b`, producing an
66atom.
77
88Accepts
@@ -22,17 +22,17 @@ Source
2222
2323 ++ dis :: binary and
2424 ~/ %dis
25− |= [a=@ b=@]
26− =| [c=@ d=@]
25+ |= {a/@ b/@}
26+ =| {c/@ d/@}
2727 |- ^- @
2828 ?: ?|(=(0 a) =(0 b)) d
2929 %= $
3030 a (rsh 0 1 a)
3131 b (rsh 0 1 b)
3232 c +(c)
33− d %+ add d
34− %^ lsh 0 c
35− ?| =(0 (end 0 1 a))
33+ d %+ add d
34+ %^ lsh 0 c
35+ ?| =(0 (end 0 1 a))
3636 =(0 (end 0 1 b))
3737 ==
3838 ==
docs/system/hoon/library/src/2d/gate/mix.md+2−2
@@ -2,7 +2,7 @@
22
33Binary XOR
44
5−Produces the bit-wise logical XOR of `a` and `b`, producing an [atom]().
5+Produces the bit-wise logical XOR of `a` and `b`, producing an atom.
66
77Accepts
88-------
@@ -21,7 +21,7 @@ Source
2121
2222 ++ mix :: binary xor
2323 ~/ %mix
24− |= [a=@ b=@]
24+ |= {a/@ b/@}
2525 ^- @
2626 =+ [c=0 d=0]
2727 |-
docs/system/hoon/library/src/2d/gate/not.md+4−3
@@ -8,9 +8,9 @@ of `c`.
88Accepts
99-------
1010
11−`a` is a block size (see [`++bloq`]()).
11+`a` is a block size (see `++bloq`).
1212
13−`b` is an [atom]().
13+`b` is an atom.
1414
1515`c` is an atom.
1616
@@ -22,9 +22,10 @@ An atom.
2222Source
2323------
2424
25− ++ not |= [a=bloq b=@ c=@] :: binary not (sized)
25+ ++ not |= {a/bloq b/@ c/@} :: binary not (sized)
2626 (mix c (dec (bex (mul b (bex a)))))
2727
28+
2829Examples
2930--------
3031