69e3acf · urbit.org · git.iko.soy

docs/system/hoon/library/src/4n/gate/mack.md+7−6

compare with master

unifiedsplit

@@ -2,14 +2,14 @@

2

3Nock subject to unit

4

5−Accepts a nock subject-formula cell and wraps it into a [`++unit`]().

5+Accepts a nock subject-formula cell and wraps it into a `++unit`.

6`fol` is pure nock, meaning that nock `11` operations result in a block,

7producing a `~`.

8

9Accepts

10-------

11

12−`sub` is a subject [noun]().

12+`sub` is a subject noun.

13

14`fol` is a formula noun, which is generally a `++nock`.

15

@@ -22,12 +22,13 @@ Source

22------

23

24 ++ mack

25− |= [sub=* fol=*]

25+ |= {sub/* fol/*}

26 ^- (unit)

27− =+ ton=(mink [sub fol] |=(* ~))

27+ =+ ton=(mink [sub fol] |=({* *} ~))

28− ?.(?=([0 *] ton) ~ [~ p.ton])

28+ ?.(?=({$0 *} ton) ~ [~ p.ton])

29 ::

30

31+

31Examples

32Examples

32--------

33--------

33

34

@@ -39,7 +40,7 @@ Examples

39 ~

40 ~

40 ~zod/try=> (mack [[[0 2] [1 3]] 4 4 4 4 0 5])

41 ~zod/try=> (mack [[[0 2] [1 3]] 4 4 4 4 0 5])

41 [~ 6]

42 [~ 6]

42− ~zod/try=> ;;((unit ,@tas) (mack [[1 %yes %no] 6 [0 2] [0 6] 0 7]))

43+ ~zod/try=> ;;((unit @tas) (mack [[1 %yes %no] 6 [0 2] [0 6] 0 7]))

43 [~ %no]

44 [~ %no]

44

45

46

docs/system/hoon/library/src/4n/gate/mink.md+44−42

@@ -2,19 +2,19 @@

2

3Mock interpreter

4

5−Bottom-level [mock]() (virtual nock) interpreter. Produces a

5+Bottom-level mock (virtual nock) interpreter. Produces a

6−[`++tone`](), a nock computation result. If nock 11 is invoked, `sky`

6+`++tone`, a nock computation result. If nock 11 is invoked, `sky`

7−computes on the subject and produces a [`++unit`]() result. An empty

7+computes on the subject and produces a `++unit` result. An empty

8result becomes a `%1` `++tone`, indicating a block.

9

10Accepts

11-------

12

13−`sub` is the subject as a [noun]().

13+`sub` is the subject as a noun.

14

15`fol` is the formula as a noun.

16

17−`sky` is an [`%iron`]() gate invoked with [nock operator 11]().

17+`sky` is an `%iron` gate invoked with nock operator 11.

18

19Produces

20--------

@@ -26,98 +26,100 @@ Source

26

27 ++ mink

28 ~/ %mink

29− |= [[sub=* fol=*] sky=$+(* (unit))]

29+ |= {{sub/* fol/*} gul/$-({* *} (unit (unit)))}

30− =+ tax=*(list ,[@ta *])

30+ =+ tax=*(list {@ta *})

31 |- ^- tone

32 ?@ fol

33 [%2 tax]

34 ?: ?=(^ -.fol)

35 =+ hed=$(fol -.fol)

36− ?: ?=(%2 -.hed)

36+ ?: ?=($2 -.hed)

37 hed

38 =+ tal=$(fol +.fol)

39 ?- -.tal

40− %0 ?-(-.hed %0 [%0 p.hed p.tal], %1 hed)

40+ $0 ?-(-.hed $0 [%0 p.hed p.tal], $1 hed)

41− %1 ?-(-.hed %0 tal, %1 [%1 (weld p.hed p.tal)])

41+ $1 ?-(-.hed $0 tal, $1 [%1 (weld p.hed p.tal)])

42− %2 tal

42+ $2 tal

43 ==

44 ?+ fol

45 [%2 tax]

46 ::

47− [0 b=@]

47+ {$0 b/@}

48 ?: =(0 b.fol) [%2 tax]

49 ?: =(1 b.fol) [%0 sub]

50 ?: ?=(@ sub) [%2 tax]

51 =+ [now=(cap b.fol) lat=(mas b.fol)]

52 $(b.fol lat, sub ?:(=(2 now) -.sub +.sub))

53 ::

54− [1 b=*]

54+ {$1 b/*}

55 [%0 b.fol]

56 ::

57− [2 b=[^ *]]

57+ {$2 b/{^ *}}

58 =+ ben=$(fol b.fol)

59− ?. ?=(%0 -.ben) ben

59+ ?. ?=($0 -.ben) ben

60 ?>(?=(^ p.ben) $(sub -.p.ben, fol +.p.ben))

61 ::?>(?=(^ p.ben) $([sub fol] p.ben)

62 ::

63− [3 b=*]

63+ {$3 b/*}

64 =+ ben=$(fol b.fol)

65− ?. ?=(%0 -.ben) ben

65+ ?. ?=($0 -.ben) ben

66 [%0 .?(p.ben)]

67 ::

68− [4 b=*]

68+ {$4 b/*}

69 =+ ben=$(fol b.fol)

70− ?. ?=(%0 -.ben) ben

70+ ?. ?=($0 -.ben) ben

71 ?. ?=(@ p.ben) [%2 tax]

72 [%0 .+(p.ben)]

73 ::

74− [5 b=*]

74+ {$5 b/*}

75 =+ ben=$(fol b.fol)

76− ?. ?=(%0 -.ben) ben

76+ ?. ?=($0 -.ben) ben

77 ?. ?=(^ p.ben) [%2 tax]

78 [%0 =(-.p.ben +.p.ben)]

79 ::

80− [6 b=* c=* d=*]

80+ {$6 b/* c/* d/*}

81 $(fol =>(fol [2 [0 1] 2 [1 c d] [1 0] 2 [1 2 3] [1 0] 4 4 b]))

82 ::

83− [7 b=* c=*] $(fol =>(fol [2 b 1 c]))

83+ {$7 b/* c/*} $(fol =>(fol [2 b 1 c]))

84− [8 b=* c=*] $(fol =>(fol [7 [[0 1] b] c]))

84+ {$8 b/* c/*} $(fol =>(fol [7 [[0 1] b] c]))

85− [9 b=* c=*] $(fol =>(fol [7 c 0 b]))

85+ {$9 b/* c/*} $(fol =>(fol [7 c 0 b]))

86− [10 @ c=*] $(fol c.fol)

86+ {$10 @ c/*} $(fol c.fol)

87− [10 [b=* c=*] d=*]

87+ {$10 {b/* c/*} d/*}

88 =+ ben=$(fol c.fol)

89− ?. ?=(%0 -.ben) ben

89+ ?. ?=($0 -.ben) ben

90− ?: ?=(?(%hunk %lose %mean %spot) b.fol)

90+ ?: ?=(?($hunk $hand $lose $mean $spot) b.fol)

91 $(fol d.fol, tax [[b.fol p.ben] tax])

92 $(fol d.fol)

93 ::

94− [11 b=*]

94+ {$11 b/* c/*}

95+ =+ ref=$(fol b.fol)

95− =+ ben=$(fol b.fol)

96+ =+ ben=$(fol c.fol)

97+ ?. ?=($0 -.ref) ref

96− ?. ?=(%0 -.ben) ben

98+ ?. ?=($0 -.ben) ben

97− =+ val=(sky p.ben)

99+ =+ val=(gul p.ref p.ben)

98− ?~(val [%1 p.ben ~] [%0 u.val])

100+ ?~(val [%1 p.ben ~] ?~(u.val [%2 [[%hunk (mush p.ben)] tax]] [%0 u.u.val]))

99− ::

100 ==

101 ==

101 ::

102 ::

102

103

104+

103Examples

105Examples

104--------

106--------

105

107

106− ~zod/try=> (mink [20 [4 0 1]] ,~)

108+ ~zod/try=> (mink [20 [4 0 1]] $~)

107 [%0 p=21]

109 [%0 p=21]

108− ~zod/try=> (mink [[90 5 3] [0 3]] ,~)

110+ ~zod/try=> (mink [[90 5 3] [0 3]] $~)

109 [%0 p=[5 3]]

111 [%0 p=[5 3]]

110− ~zod/try=> (mink 20^[4 0 1] ,~)

112+ ~zod/try=> (mink 20^[4 0 1] $~)

111 [%0 p=21]

113 [%0 p=21]

112− ~zod/try=> (mink [90 5 3]^[0 3] ,~)

114+ ~zod/try=> (mink [90 5 3]^[0 3] $~)

113 [%0 p=[5 3]]

115 [%0 p=[5 3]]

114− ~zod/try=> (mink [0]^[11 1 20] ,~)

116+ ~zod/try=> (mink [0]^[11 1 20] $~)

115 [%1 p=~[20]]

117 [%1 p=~[20]]

116 ~zod/try=> (mink [0]^[11 1 20] |=(a=* `[40 a]))

118 ~zod/try=> (mink [0]^[11 1 20] |=(a=* `[40 a]))

117 [%0 p=[40 20]]

119 [%0 p=[40 20]]

118− ~zod/try=> (mink [5]^[0 2] ,~)

120+ ~zod/try=> (mink [5]^[0 2] $~)

119 [%2 p=~]

121 [%2 p=~]

120− ~zod/try=> (mink [5]^[10 yelp/[0 1] 0 0] ,~)

122+ ~zod/try=> (mink [5]^[10 yelp/[0 1] 0 0] $~)

121 [%2 p=~[[~.yelp 5]]]

123 [%2 p=~[[~.yelp 5]]]

122

124

123

125

docs/system/hoon/library/src/4n/gate/mock.md+7−6

@@ -2,19 +2,19 @@

2

3Compute formula on subject with hint

4

5−Produces a [`++toon`](), which is either a sucessful, blocked, or

5+Produces a `++toon`, which is either a sucessful, blocked, or

6crashed result. If nock 11 is invoked, `sky` computes on the subject and

7−produces a [`++unit`]() result. An empty result becomes a `%1` `++tune`,

7+produces a `++unit` result. An empty result becomes a `%1` `++tune`,

8indicating a block.

9

10Accepts

11-------

12

13−`sub` is the subject as a [noun]().

13+`sub` is the subject as a noun.

14

15`fol` is the formula as a noun.

16

17−`sky` is an [%iron]() gate invoked with [nock operator 11]().

17+`sky` is an %iron gate invoked with nock operator 11.

18

19Produces

20--------

@@ -25,10 +25,11 @@ Source

25------

26

27 ++ mock

28− |= [[sub=* fol=*] sky=$+(* (unit))]

28+ |= {{sub/* fol/*} gul/$-({* *} (unit (unit)))}

29− (mook (mink [sub fol] sky))

29+ (mook (mink [sub fol] gul))

30 ::

31

32+

32Examples

33Examples

33--------

34--------

34

35

docs/system/hoon/library/src/4n/gate/mong.md+13−13

@@ -2,17 +2,17 @@

2

3Slam gate with sample

4

5−Produces a [`++toon`]() computation result from slamming `gat` with

5+Produces a `++toon` computation result from slamming `gat` with

6`sam`, using `sky` to compute or block on nock 11 when applicable.

7

8Accepts

9-------

10

11−`gat` is a [noun]() that is generally a [`gate`]().

11+`gat` is a noun that is generally a `gate`.

12

13−`sam` is a [`sample`]() noun.

13+`sam` is a `sample` noun.

14

15−`sky` is an [%iron]() gate invoked with [nock operator 11]().

15+`sky` is an %iron gate invoked with nock operator 11.

16

17Produces

18--------

@@ -23,11 +23,11 @@ Source

23------

24

25 ++ mong

26− |= [[gat=* sam=*] sky=$+(* (unit))]

26+ |= {{gat/* sam/*} gul/$-({* *} (unit (unit)))}

27 ^- toon

28 ?. &(?=(^ gat) ?=(^ +.gat))

29 [%2 ~]

30− (mock [[-.gat [sam +>.gat]] -.gat] sky)

30+ (mock [[-.gat [sam +>.gat]] -.gat] gul)

31 ::

32

33Examples

@@ -37,19 +37,19 @@ Examples

37 [%0 p=20]

38 ~zod/try=> (mong [|=(@ !!) ~] ,~)

39 [%2 p=~]

40− ~zod/try=> (mong [|=(a=@ (add 20 a)) ~] ,~)

40+ ~zod/try=> (mong [|=(a/@ (add 20 a)) ~] ,~)

41 [%0 p=20]

42− ~zod/try=> (mong [|=(a=[@ @] (add 20 -.a)) ~] ,~)

42+ ~zod/try=> (mong [|=(a/[@ @] (add 20 -.a)) ~] ,~)

43 [%2 p=~]

44− ~zod/try=> (mong [|=(a=[@ @] (add 20 -.a)) [4 6]] ,~)

44+ ~zod/try=> (mong [|=(a/[@ @] (add 20 -.a)) [4 6]] ,~)

45 [%0 p=24]

46− ~zod/try=> (mong [|=(a=@ .^(a)) ~] ,~)

46+ ~zod/try=> (mong [|=(a/@ .^(a)) ~] ,~)

47 [%1 p=~[0]]

48− ~zod/try=> (mong [|=(a=@ .^(a)) ~] ,[~ %42])

48+ ~zod/try=> (mong [|=(a/@ .^(a)) ~] ,[~ %42])

49 [%0 p=42]

50− ~zod/try=> (mong [|=(a=@ .^(a)) ~] |=(a=* [~ a 6]))

50+ ~zod/try=> (mong [|=(a/@ .^(a)) ~] |=(a/* [~ a 6]))

51 [%0 p=[0 6]]

52− ~zod/try=> (mong [|=(a=@ .^(a)) 8] |=(a=* [~ a 6]))

52+ ~zod/try=> (mong [|=(a/@ .^(a)) 8] |=(a/* [~ a 6]))

53 [%0 p=[8 6]]

54

55

docs/system/hoon/library/src/4n/gate/mook.md+22−33

@@ -2,67 +2,56 @@

2

3Intelligently render crash annotation

4

5−Converts a `%2` `++tone` nock stack trace to a list of [`++tank`]().

5+Converts a `%2` `++tone` nock stack trace to a list of `++tank`.

6−Each may be a tank, cord, [`++spot`](), or trapped tank.

6+Each may be a tank, cord, `++spot`, or trapped tank.

7

8Accepts

9-------

10

11−`ton` is a [`++tone`]().

11+`ton` is a `++tone`.

12

13Produces

14--------

15

16−A [`++toon`]().

16+A `++toon`.

17

18Source

19------

20

21 ++ mook

22− |= ton=tone

22+ |= ton/tone

23 ^- toon

24− ?. ?=([2 *] ton) ton

24+ ?. ?=({$2 *} ton) ton

25 :- %2

26+ :: =. p.ton (moop p.ton)

26 =+ yel=(lent p.ton)

27 =+ yel=(lent p.ton)

27 =. p.ton

28 =. p.ton

28 ?. (gth yel 256) p.ton

29 ?. (gth yel 256) p.ton

29 %+ weld

30 %+ weld

30 (scag 128 p.ton)

31 (scag 128 p.ton)

31− ^- (list ,[@ta *])

32+ ^- (list {@ta *})

32 :_ (slag (sub yel 128) p.ton)

33 :_ (slag (sub yel 128) p.ton)

33 :- %lose

34 :- %lose

34 %+ rap 3

35 %+ rap 3

35− ;: weld

36− "[skipped "

37− ~(rend co %$ %ud (sub yel 256))

36+ "[skipped {(scow %ud (sub yel 256))} frames]"

38− " frames]"

39− ==

40 |- ^- (list tank)

37 |- ^- (list tank)

41 ?~ p.ton ~

38 ?~ p.ton ~

42− =+ rex=$(p.ton t.p.ton)

39+ =+ rep=$(p.ton t.p.ton)

43− ?+ -.i.p.ton rex

40+ ?+ -.i.p.ton rep

44− %hunk [(tank +.i.p.ton) rex]

41+ $hunk [(tank +.i.p.ton) rep]

45− %lose [[%leaf (rip 3 (,@ +.i.p.ton))] rex]

42+ $lose [[%leaf (rip 3 (@ +.i.p.ton))] rep]

43+ $hand [[%leaf (scow %p (mug +.i.p.ton))] rep]

46− %mean :_ rex

44+ $mean :_ rep

47− ?@ +.i.p.ton [%leaf (rip 3 (,@ +.i.p.ton))]

45+ ?@ +.i.p.ton [%leaf (rip 3 (@ +.i.p.ton))]

48 =+ mac=(mack +.i.p.ton +<.i.p.ton)

46 =+ mac=(mack +.i.p.ton +<.i.p.ton)

49 ?~(mac [%leaf "####"] (tank u.mac))

47 ?~(mac [%leaf "####"] (tank u.mac))

50− %spot :_ rex

48+ $spot :_ rep

51 =+ sot=(spot +.i.p.ton)

49 =+ sot=(spot +.i.p.ton)

52− :- %leaf

50+ :+ %rose [":" ~ ~]

53− ;: weld

54− ~(ram re (smyt p.sot))

51+ :~ (smyt p.sot)

55− ":<["

56− ~(rend co ~ %ud p.p.q.sot)

52+ => [ud=|=(a/@u (scow %ud a)) q.sot]

57− " "

53+ leaf+"<[{(ud p.p)} {(ud q.p)}].[{(ud p.q)} {(ud q.q)}]>"

58− ~(rend co ~ %ud q.p.q.sot)

59− "].["

60− ~(rend co ~ %ud p.q.q.sot)

61− " "

62− ~(rend co ~ %ud q.q.q.sot)

63− "]>"

64− ==

65− ==

54+ == ==

66 ::

55 ::

67

56

68Examples

57Examples

docs/system/hoon/library/src/4n/gate/mule.md+6−5

@@ -2,13 +2,13 @@

2

3Typed virtual

4

5−Kicks a [`++trap`](), producing its results or any errors that occur along

5+Kicks a `++trap`, producing its results or any errors that occur along

6the way. Used to lazily compute stack traces.

7

8Accepts

9-------

10

11−`taq` is a [`++trap`](), generally producing a list of [`++tank`]()s.

11+`taq` is a `++trap`, generally producing a list of `++tank`s.

12

13Produces

14--------

@@ -20,14 +20,15 @@ Source

20

21 ++ mule :: typed virtual

22 ~/ %mule

23− |* taq=_|.(_*)

23+ |* taq/_|.(**)

24 =+ mud=(mute taq)

25 ?- -.mud

26− & [%& p=$:taq]

26+ $& [%& p=$:taq] :: XX transition

27− | [%| p=p.mud]

27+ $| [%| p=p.mud]

28 ==

29 ::

30

31+

31Examples

32Examples

32--------

33--------

33

34

docs/system/hoon/library/src/4n/gate/mute.md+10−21

@@ -3,32 +3,32 @@

3Untyped virtual

4

5Kicks a `++trap`, producing its result as a noun or the tanks of any

6−error that occurs. Similar to [`++mule`](), but preserves no type

6+error that occurs. Similar to `++mule`, but preserves no type

7information.

8

9Accepts

10-------

11

12−`taq` is a [`++trap`](/doc/hoon/library/1#++trap).

12+`taq` is a `++trap`.

13−

14Produces

13Produces

15--------

14--------

16

15

17−Either a noun or a [`++list`]() of [`++tank`]().

16+Either a noun or a `++list` of `++tank`.

18

17

19Source

18Source

20------

19------

21

20

22 ++ mute :: untyped virtual

21 ++ mute :: untyped virtual

23− |= taq=_^?(|.(_*))

22+ |= taq/_^?(|.(**))

24− ^- (each ,* (list tank))

23+ ^- (each * (list tank))

25− =+ ton=(mock [taq 9 2 0 1] |=(* ~))

24+ =+ ton=(mock [taq 9 2 0 1] |=({* *} ~))

26 ?- -.ton

25 ?- -.ton

27− %0 [%& p.ton]

26+ $0 [%& p.ton]

28− %1 [%| (turn p.ton |=(a=* (smyt (path a))))]

27+ $1 [%| (turn p.ton |=(a/* (smyt (path a))))]

29− %2 [%| p.ton]

28+ $2 [%| p.ton]

30 ==

29 ==

31

30

31+

32Examples

33--------

34

@@ -36,17 +36,6 @@ Examples

36 [%.y p=[1.717.658.988 104 101 108 108 111 0]]

37 ~zod/try=> (mute |.(!!))

38 [%.n p=~]

39− ~zod/try=> (mute |.(.^(a//=pals/1)))

40− [ %.n

41− p

42− ~[

43− [ %rose

44− p=[p="/" q="/" r="/"]

45− q=[i=[%leaf p="a"] t=[i=[%leaf p="~zod"] t=[i=[%leaf p="pals"] t=[i=[%leaf p="1"] t=~]]]]

46− ]

47− ]

48− ]

49−

50

39

51

40

52***

41***

docs/system/hoon/library/src/5f/mold/.mane.md.swpnew file

Binary file not shown.

docs/system/hoon/library/src/5f/mold/.manx.md.swpnew file

Binary file not shown.

docs/system/hoon/library/src/5f/mold/.marl.md.swpnew file

Binary file not shown.

docs/system/hoon/library/src/5f/mold/.mars.md.swpnew file

Binary file not shown.

docs/system/hoon/library/src/5f/mold/.mart.md.swpnew file

Binary file not shown.

docs/system/hoon/library/src/5f/mold/.marx.md.swpnew file

Binary file not shown.

docs/system/hoon/library/src/5f/mold/.pass.md.swpnew file

Binary file not shown.

docs/system/hoon/library/src/5f/mold/.ring.md.swpnew file

Binary file not shown.

docs/system/hoon/library/src/5f/mold/.time.md.swpnew file

Binary file not shown.

docs/system/hoon/library/src/5f/mold/mane.md+2−2

@@ -3,7 +3,7 @@

3XML name

4

5An XML name (tag name or attribute name) with an optional namespace. Parsed by

6−[`++name`]() within [`++poxa`](), rendered by [`++name`]() within `++poxo`.

6+`++name` within `++poxa`, rendered by `++name` within `++poxo`.

7

8Source

9------

@@ -13,7 +13,7 @@ Source

13Examples

14--------

15

16−See also: [`++sail`]()

16+See also: `++sail`

17

18 ~zod/try=> *mane

19 %$

docs/system/hoon/library/src/5f/mold/manx.md+3−3

@@ -2,17 +2,17 @@

2

3XML node.

4

5−Parsed by [`++apex`]() within [`++poxa`](), rendered by [`++poxo`]().

5+Parsed by `++apex` within `++poxa`, rendered by `++poxo`.

6

7Source

8------

9

10− ++ manx ,[g=marx c=marl] :: XML node

10+ ++ manx {g/marx c/marl} :: XML node

11

12Examples

13--------

14

15−See also: [`++sail`]() doc

15+See also: `++sail` doc

16

17

18

docs/system/hoon/library/src/5f/mold/mars.md+3−2

@@ -2,12 +2,13 @@

2

3XML CDATA

4

5−Implicitly produced by [`++chrd`]() within [`++poxa`]()

5+Implicitly produced by `++chrd` within `++poxa`

6

7Source

8------

9

10− ++ mars ,[t=[n=%$ a=[i=[n=%$ v=tape] t=~]] c=~] :: XML cdata

10+ ++ mars {t/{n/$$ a/{i/{n/$$ v/tape} t/$~}} c/$~} :: XML cdata

11+

11

12

12Examples

13Examples

13--------

14--------

docs/system/hoon/library/src/5f/mold/mart.md+4−4

@@ -2,15 +2,15 @@

2

3List of XML attributes

4

5−Each `++mart` is a list of pairs of [`++mane`]() and

5+Each `++mart` is a list of pairs of `++mane` and

6−[`++tape`]().

6+`++tape`.

7

8−Parsed by [`++attr`]() within [`++poxa`](), rendered by `++attr` within [`++poxo`]()

8+Parsed by `++attr` within `++poxa`, rendered by `++attr` within `++poxo`

9

10Source

11------

12

13− ++ mart (list ,[n=mane v=tape]) :: XML attributes

13+ ++ mart (list {n/mane v/tape}) :: XML attributes

14

15Examples

16--------

docs/system/hoon/library/src/5f/mold/marx.md+2−2

@@ -3,12 +3,12 @@

3XML tag

4

5A `++marx` is a pair of a tag name, `++mane` and a list of attributes,

6−`++mart`. Parsed by [`++head`]() `++poxa`, rendered within `++poxo`.

6+`++mart`. Parsed by `++head` `++poxa`, rendered within `++poxo`.

7

8Source

9------

10

11− ++ marx ,[n=mane a=mart] :: XML tag

11+ ++ marx {n/mane a/mart} :: XML tag

12

13Examples

14--------

docs/system/hoon/library/src/5f/mold/ring.md+1−1

@@ -7,7 +7,7 @@ Used primarily in crypto.

7Source

8------

9

10− ++ ring ,@ :: private key

10+ ++ ring @ :: private key

11

12

13

docs/system/hoon/library/src/5f/mold/time.md+2−2

@@ -7,12 +7,12 @@ The `@da` odor designates an absolute date atom.

7Source

8------

9

10− ++ time ,@da :: galactic time

10+ ++ time @da :: galactic time

11

12Examples

13--------

14

15−See also: [`++date`](), [odor reference]()

15+See also: `++date`, odor reference

16

17 ~zod/try=> `time`-<-

18 ~2014.9.25..20.01.47..eeac