mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-11-13 08:38:43 +03:00
Cleaned up some marks.
This commit is contained in:
C. Guy Yarvin
parent
8fe708c1bd
commit
8d8d81cbf9
@ -7,12 +7,12 @@
|
||||
!:
|
||||
|%
|
||||
++ request
|
||||
$: domain=(list cord) end-point=path
|
||||
req-type=$?(%get [%post p=json]) headers=math
|
||||
queries=quay
|
||||
_: domain+(list cord) end-point=path
|
||||
req-type+_?($get {$post p=json}) headers=math
|
||||
queries+quay
|
||||
==
|
||||
++ send
|
||||
|= [ost=bone pour-path=wire params=request]
|
||||
|= {ost+bone pour-path+wire params+request}
|
||||
:^ ost %them pour-path
|
||||
`(unit hiss)`[~ (request-to-hiss params)]
|
||||
::
|
||||
|
||||
@ -3,10 +3,10 @@
|
||||
::
|
||||
/? 310
|
||||
!:
|
||||
|_ cod=[who=? box=@ boo=@] :: game state
|
||||
|_ cod+{who+? box+@ boo+@} :: game state
|
||||
::
|
||||
++ grab :: convert from
|
||||
|%
|
||||
++ noun ,[who=? box=@ boo=@] :: clam from %noun
|
||||
++ noun {who+? box+@ boo+@} :: clam from $noun
|
||||
--
|
||||
--
|
||||
|
||||
@ -2,11 +2,11 @@
|
||||
:::: /hoon/ask-mail/mar
|
||||
::
|
||||
/? 314
|
||||
|_ txt=cord
|
||||
|_ txt+cord
|
||||
::
|
||||
++ grab :: convert from
|
||||
|%
|
||||
++ noun ,@t :: clam from %noun
|
||||
++ noun @t :: clam from %noun
|
||||
++ json (cork so:jo need)
|
||||
--
|
||||
++ grow
|
||||
|
||||
@ -4,10 +4,10 @@
|
||||
/? 314
|
||||
!:
|
||||
:::: A minimal atom mark
|
||||
|_ ato=@
|
||||
|_ ato+@
|
||||
++ grab |%
|
||||
++ noun ,@
|
||||
++ mime |=([* p=octs] q.p)
|
||||
++ noun @
|
||||
++ mime |=({* p+octs} q.p)
|
||||
--
|
||||
++ grow |%
|
||||
++ mime [/aplication/x-urb-unknown (taco ato)]
|
||||
|
||||
@ -6,7 +6,7 @@
|
||||
::
|
||||
++ grab :: convert from
|
||||
|%
|
||||
++ noun ,@t :: clam from %noun
|
||||
++ noun @t :: clam from %noun
|
||||
++ json (cork so:jo need)
|
||||
--
|
||||
--
|
||||
|
||||
@ -9,8 +9,8 @@
|
||||
--
|
||||
++ grab
|
||||
|%
|
||||
++ mime |=([p=mite q=octs] (,@t q.q))
|
||||
++ noun ,@t
|
||||
++ mime |=({p+mite q+octs} (@t q.q))
|
||||
++ noun @t
|
||||
--
|
||||
++ grad %mime
|
||||
--
|
||||
|
||||
@ -11,8 +11,8 @@
|
||||
--
|
||||
++ grab
|
||||
|% :: convert from
|
||||
++ mime |=([p=mite q=octs] (,@t q.q))
|
||||
++ noun ,@t :: clam from %noun
|
||||
++ mime |=({p+mite q+octs} (@t q.q))
|
||||
++ noun @t :: clam from %noun
|
||||
--
|
||||
++ grad %mime
|
||||
--
|
||||
|
||||
@ -8,12 +8,12 @@
|
||||
::::
|
||||
::
|
||||
[markdown .]
|
||||
|_ don=down
|
||||
|_ don+down
|
||||
++ grab :: convert from
|
||||
|%
|
||||
++ noun down :: clam from %noun
|
||||
++ md
|
||||
|= src=@t
|
||||
|= src+@t
|
||||
=+ [atr mud]=(parse:frontmatter (lore src))
|
||||
[[%meta atr] (mark:down-jet mud)]
|
||||
--
|
||||
|
||||
@ -2,7 +2,7 @@
|
||||
:::: /hoon/core/elem/mar
|
||||
::
|
||||
/? 314
|
||||
|_ own=manx
|
||||
|_ own+manx
|
||||
::
|
||||
++ grow :: convert to
|
||||
|%
|
||||
|
||||
@ -5,7 +5,7 @@
|
||||
::
|
||||
:::: compute
|
||||
::
|
||||
|_ otf=@
|
||||
|_ otf+@
|
||||
::
|
||||
++ grow :: convert to
|
||||
|%
|
||||
@ -14,8 +14,8 @@
|
||||
--
|
||||
++ grab
|
||||
|%
|
||||
++ mime |=([p=mite q=octs] q.q)
|
||||
++ noun ,@
|
||||
++ mime |=({p+mite q+octs} q.q)
|
||||
++ noun @
|
||||
--
|
||||
++ grad %mime
|
||||
--
|
||||
|
||||
@ -2,11 +2,11 @@
|
||||
:::: /hoon/helm-hi/mar
|
||||
::
|
||||
/? 314
|
||||
|_ txt=cord
|
||||
|_ txt+cord
|
||||
::
|
||||
++ grab :: convert from
|
||||
|%
|
||||
++ noun ,@t :: clam from %noun
|
||||
++ noun @t :: clam from %noun
|
||||
++ json (cork so:jo need)
|
||||
--
|
||||
++ grow
|
||||
|
||||
@ -40,8 +40,8 @@
|
||||
--
|
||||
++ grab
|
||||
|% :: convert from
|
||||
++ mime |=([p=mite q=octs] q.q)
|
||||
++ noun ,@t :: clam from %noun
|
||||
++ mime |=({p+mite q+octs} q.q)
|
||||
++ noun @t :: clam from %noun
|
||||
++ txt
|
||||
|= wan=wain
|
||||
=+ (role wan)
|
||||
|
||||
@ -41,10 +41,10 @@
|
||||
--
|
||||
++ grab
|
||||
|% :: convert from
|
||||
++ mime |=([p=mite q=octs] q.q)
|
||||
++ noun ,@t :: clam from %noun
|
||||
++ mime |=({p+mite q+octs} q.q)
|
||||
++ noun @t :: clam from %noun
|
||||
++ txt
|
||||
|= wan=wain
|
||||
|= wan+wain
|
||||
^- @t
|
||||
=+ (role wan)
|
||||
(end 3 (dec (met 3 -)) -)
|
||||
|
||||
@ -5,7 +5,7 @@
|
||||
::
|
||||
:::: compute
|
||||
::
|
||||
|_ htm=@t
|
||||
|_ htm+@t
|
||||
::
|
||||
++ grow :: convert to
|
||||
|% ::
|
||||
@ -13,6 +13,6 @@
|
||||
++ hymn (need (poxa htm)) :: to %hymn
|
||||
-- ::
|
||||
++ grab |% :: convert from
|
||||
++ noun ,@t :: clam from %noun
|
||||
++ mime |=([p=mite q=octs] q.q) :: retrieve form %mime
|
||||
++ noun @t :: clam from %noun
|
||||
++ mime |=({p+mite q+octs} q.q) :: retrieve form $mime
|
||||
-- --
|
||||
|
||||
@ -4,6 +4,6 @@
|
||||
/? 314
|
||||
/+ http
|
||||
::
|
||||
|_ req=request:http
|
||||
|_ req+request:http
|
||||
++ grow |% ++ tank >req<
|
||||
-- --
|
||||
|
||||
@ -3,7 +3,7 @@
|
||||
::
|
||||
/? 314
|
||||
!:
|
||||
|_ hit=httr
|
||||
|_ hit+httr
|
||||
++ grow |% ++ wall (turn wain trip)
|
||||
++ wain (lore cord)
|
||||
++ json (need (poja cord))
|
||||
|
||||
@ -2,7 +2,7 @@
|
||||
:::: /hoon/core/hymn/mar
|
||||
::
|
||||
/? 314
|
||||
|_ own=manx
|
||||
|_ own+manx
|
||||
::
|
||||
++ grow :: convert to
|
||||
|%
|
||||
|
||||
@ -7,17 +7,17 @@
|
||||
!:
|
||||
::::
|
||||
::
|
||||
|_ all=(map path marl)
|
||||
|_ all+(map path marl)
|
||||
::
|
||||
++ grow :: convert to
|
||||
++ grow :: convert to
|
||||
|%
|
||||
++ json
|
||||
%. all
|
||||
%+ map-to-json
|
||||
|=(a=path (crip (spud a)))
|
||||
|=(a=marl [%a (turn a react-to-json)])
|
||||
|=(a+path (crip (spud a)))
|
||||
|=(a+marl [%a (turn a react-to-json)])
|
||||
--
|
||||
++ grab |% :: convert from
|
||||
++ noun (map path marl) :: clam from %noun
|
||||
++ grab |% :: convert from
|
||||
++ noun (map path marl) :: clam from %noun
|
||||
::++ elem |=(a=manx `_all`[[/ ((getall %h1) a)] ~ ~])
|
||||
-- --
|
||||
|
||||
@ -2,15 +2,15 @@
|
||||
:::: /hoon/core/jam/mar
|
||||
::
|
||||
!:
|
||||
|_ mud=@
|
||||
|_ mud+@
|
||||
++ grow
|
||||
|%
|
||||
++ mime [/application/octet-stream (taco mud)]
|
||||
--
|
||||
++ grab
|
||||
|% :: convert from
|
||||
++ mime |=([p=mite q=octs] q.q)
|
||||
++ noun ,@ :: clam from %noun
|
||||
++ mime |=({p+mite q+octs} q.q)
|
||||
++ noun @ :: clam from %noun
|
||||
--
|
||||
++ grad %mime
|
||||
--
|
||||
|
||||
@ -2,7 +2,7 @@
|
||||
:::: /hoon/core/js/mar
|
||||
::
|
||||
!:
|
||||
|_ mud=@
|
||||
|_ mud+@
|
||||
++ grow
|
||||
|%
|
||||
++ mime [/application/javascript (taco (,@t mud))]
|
||||
@ -13,7 +13,7 @@
|
||||
--
|
||||
++ grab
|
||||
|% :: convert from
|
||||
++ mime |=([p=mite q=octs] (,@t q.q))
|
||||
++ mime |=({p+mite q+octs} (@t q.q))
|
||||
++ noun cord :: clam from %noun
|
||||
--
|
||||
++ grad %mime
|
||||
|
||||
@ -14,7 +14,7 @@
|
||||
--
|
||||
++ grab
|
||||
|% :: convert from
|
||||
++ mime |=([p=mite q=octs] (fall (rush (,@t q.q) apex:poja) *json))
|
||||
++ mime |=({p+mite q+octs} (fall (rush (@t q.q) apex:poja) *json))
|
||||
++ noun json :: clam from %noun
|
||||
++ numb jone
|
||||
++ time jode
|
||||
|
||||
@ -2,7 +2,7 @@
|
||||
:::: /hoon/core/load/mar
|
||||
::
|
||||
!:
|
||||
|_ man=span
|
||||
|_ man+span
|
||||
++ grab
|
||||
|% :: convert from
|
||||
++ noun span :: clam from %noun
|
||||
|
||||
@ -2,7 +2,7 @@
|
||||
:::: /hoon/core/log/mar
|
||||
::
|
||||
!:
|
||||
|_ man=span
|
||||
|_ man+span
|
||||
++ grab
|
||||
|% :: convert from
|
||||
++ noun span :: clam from %noun
|
||||
|
||||
@ -13,8 +13,8 @@
|
||||
--
|
||||
++ grab
|
||||
|%
|
||||
++ mime |=([p=mite q=octs] q.q)
|
||||
++ noun ,@t
|
||||
++ mime |=({p+mite q+octs} q.q)
|
||||
++ noun @t
|
||||
++ md |=(@t +<)
|
||||
++ txt
|
||||
|= wan=wain
|
||||
|
||||
@ -3,7 +3,7 @@
|
||||
::
|
||||
/? 314
|
||||
::
|
||||
|_ mud=@t
|
||||
|_ mud+@t
|
||||
++ grow
|
||||
|%
|
||||
++ mime [/text/x-markdown (taco mud)]
|
||||
@ -12,8 +12,8 @@
|
||||
--
|
||||
++ grab
|
||||
|%
|
||||
++ mime |=([p=mite q=octs] q.q)
|
||||
++ noun ,@t
|
||||
++ mime |=({p+mite q+octs} q.q)
|
||||
++ noun @t
|
||||
++ txt
|
||||
|= wan=wain
|
||||
=+ (role wan)
|
||||
|
||||
@ -4,7 +4,7 @@
|
||||
/? 314
|
||||
/+ frontmatter
|
||||
!:
|
||||
|_ [atr=(map cord cord) mud=@t]
|
||||
|_ {atr+(map cord cord) mud+@t}
|
||||
++ grow
|
||||
|%
|
||||
++ front atr
|
||||
@ -14,7 +14,7 @@
|
||||
--
|
||||
++ grab
|
||||
|%
|
||||
++ noun ,[(map cord cord) @t]
|
||||
++ noun {(map cord cord) @t}
|
||||
++ md (cork lore txt)
|
||||
++ txt parse:frontmatter
|
||||
--
|
||||
|
||||
@ -3,7 +3,7 @@
|
||||
::
|
||||
/? 314
|
||||
/- mess
|
||||
|_ zig=mess
|
||||
|_ zig+mess
|
||||
::
|
||||
++ grab
|
||||
|%
|
||||
|
||||
@ -3,17 +3,17 @@
|
||||
::
|
||||
/? 314
|
||||
!:
|
||||
|_ own=mime
|
||||
|_ own+mime
|
||||
++ grab :: convert from
|
||||
|%
|
||||
++ noun mime :: clam from %noun
|
||||
++ tape |=(a=_"" [/application/x-urb-unknown (tact a)])
|
||||
++ tape |=(a+__("") [/application/x-urb-unknown (tact a)])
|
||||
--
|
||||
++ grad
|
||||
|%
|
||||
++ form %mime
|
||||
++ diff |=(mime +<)
|
||||
++ pact |=(mime +<)
|
||||
++ join |=([mime mime] `(unit mime)`~)
|
||||
++ join |=({mime mime} `(unit mime)`~)
|
||||
--
|
||||
--
|
||||
|
||||
@ -4,11 +4,11 @@
|
||||
::
|
||||
/? 310
|
||||
!:
|
||||
|_ [tok=@t ref=@t]
|
||||
|_ {tok+@t ref+@t}
|
||||
::
|
||||
++ grab :: converter arm
|
||||
|%
|
||||
++ noun ,[@t @t] :: clam from noun
|
||||
++ noun {@t @t} :: clam from noun
|
||||
++ json (corl need (ot 'access_token'^so 'refresh_token'^so ~):jo)
|
||||
--
|
||||
--
|
||||
|
||||
@ -4,11 +4,11 @@
|
||||
::
|
||||
/? 310
|
||||
!:
|
||||
|_ cod=cord
|
||||
|_ cod+cord
|
||||
::
|
||||
++ grab :: converter arm
|
||||
|%
|
||||
++ noun ,@t :: clam from noun
|
||||
++ noun @t :: clam from noun
|
||||
++ json (cork so:jo need) :: (need (so:jo jon))
|
||||
--
|
||||
--
|
||||
|
||||
@ -5,7 +5,7 @@
|
||||
::
|
||||
:::: compute
|
||||
::
|
||||
|_ otf=mime
|
||||
|_ otf+mime
|
||||
::
|
||||
++ grow :: convert to
|
||||
|%
|
||||
@ -13,7 +13,7 @@
|
||||
--
|
||||
++ grab
|
||||
|%
|
||||
++ mime |=([mite p=octs] [/font/otf p])
|
||||
++ mime |=({mite p+octs} [/font/otf p])
|
||||
++ noun ^mime
|
||||
--
|
||||
++ grad %mime
|
||||
|
||||
@ -2,7 +2,7 @@
|
||||
:::: /hoon/purl/mar
|
||||
::
|
||||
/? 314
|
||||
|_ url=purl
|
||||
|_ url+purl
|
||||
::
|
||||
++ grow |% ++ hiss [url %get ~ ~]
|
||||
--
|
||||
|
||||
@ -7,7 +7,7 @@
|
||||
::::
|
||||
::
|
||||
[. react]
|
||||
|_ [hed=marl tal=marl]
|
||||
|_ {hed+marl tal+marl}
|
||||
::
|
||||
++ grow :: convert to
|
||||
|%
|
||||
@ -27,5 +27,5 @@
|
||||
--
|
||||
++ grab |% :: convert from
|
||||
++ noun manx :: clam from %noun
|
||||
++ snip |=(a=[marl marl] a)
|
||||
++ snip |=(a+{marl marl} a)
|
||||
-- --
|
||||
|
||||
@ -7,7 +7,7 @@
|
||||
::::
|
||||
::
|
||||
[. react]
|
||||
|_ own=manx
|
||||
|_ own+manx
|
||||
::
|
||||
++ grow :: convert to
|
||||
|%
|
||||
@ -19,5 +19,5 @@
|
||||
--
|
||||
++ grab |% :: convert from
|
||||
++ noun manx :: clam from %noun
|
||||
++ elem |= a=manx a
|
||||
++ elem |= a+manx a
|
||||
-- --
|
||||
|
||||
@ -2,7 +2,7 @@
|
||||
:::: /hoon/core/save/mar
|
||||
::
|
||||
!:
|
||||
|_ man=span
|
||||
|_ man+span
|
||||
++ grab
|
||||
|% :: convert from
|
||||
++ noun span :: clam from %noun
|
||||
|
||||
@ -1,13 +1,13 @@
|
||||
!:
|
||||
:::: /hoon/core/sched/mar
|
||||
::
|
||||
|_ dat=(map ,@da cord)
|
||||
|_ dat+(map @da cord)
|
||||
++ grow :: convert to
|
||||
|% ++ mime [/text/x-sched (tact tape)]
|
||||
++ tape
|
||||
(zing `wall`(turn sorted-list |=([a=@da b=cord] "{<a>} {(trip b)}\0a")))
|
||||
(zing `wall`(turn sorted-list |=({a+@da b+cord} "{<a>} {(trip b)}\0a")))
|
||||
++ elem =< ;ul: *{(turn sorted-list .)}
|
||||
|= [tym=@da ite=cord] ^- manx
|
||||
|= {tym+@da ite+cord} ^- manx
|
||||
;li: ;{b "{<tym>}"}: {(trip ite)}
|
||||
++ sorted-list
|
||||
(sort (~(tap by dat)) |=([[l=@ @] [r=@ @]] (lth l r)))
|
||||
@ -15,12 +15,12 @@
|
||||
++ grab
|
||||
|% :: convert from
|
||||
++ mime
|
||||
|= [p=mite q=octs] ^+ dat
|
||||
|= {p+mite q+octs} ^+ dat
|
||||
=< (mo (turn (lore q.q) .))
|
||||
|= a=@t ^- [@da @t]
|
||||
|= a+@t ^- {@da @t}
|
||||
%+ rash a
|
||||
;~ (glue ace)
|
||||
(cook |=(a=coin ?>(?=([~ %da @] a) `@da`q.p.a)) nuck:so)
|
||||
(cook |=(a+coin ?>(?=({$~ $da @} a) `@da`q.p.a)) nuck:so)
|
||||
(cook crip (star prn))
|
||||
==
|
||||
--
|
||||
|
||||
@ -6,11 +6,11 @@
|
||||
|%
|
||||
++ words 1
|
||||
++ hedtal
|
||||
=| met=marl
|
||||
|= a=marl ^- [hed=marl tal=marl]
|
||||
=| met+marl
|
||||
|= a+marl ^- {hed+marl tal+marl}
|
||||
?~ a [~ ~]
|
||||
?. ?=(%h1 n.g.i.a)
|
||||
?: ?=(%meta n.g.i.a)
|
||||
?. ?=($h1 n.g.i.a)
|
||||
?: ?=($meta n.g.i.a)
|
||||
$(a t.a, met [i.a met])
|
||||
=+ had=$(a c.i.a)
|
||||
?^ -.had had
|
||||
@ -18,19 +18,19 @@
|
||||
[c.i.a (weld (flop met) (limit words t.a))]
|
||||
::
|
||||
++ limit
|
||||
|= [lim=@u mal=marl]
|
||||
|= {lim+@u mal+marl}
|
||||
=< res
|
||||
|- ^- [rem=@u res=marl]
|
||||
|- ^- {rem+@u res+marl}
|
||||
?~ mal [lim ~]
|
||||
?~ lim [0 ~]
|
||||
=+ ^- [lam=@u hed=manx]
|
||||
?: ?=(_:/(**) i.mal)
|
||||
=+ ^- {lam+@u hed+manx}
|
||||
?: ?=(__(:/(**)) i.mal)
|
||||
[lim :/(tay)]:(deword lim v.i.a.g.i.mal)
|
||||
[rem ele(c res)]:[ele=i.mal $(mal c.i.mal)]
|
||||
[rem - res]:[hed $(lim lam, mal t.mal)]
|
||||
::
|
||||
++ deword
|
||||
|= [lim=@u tay=tape] ^- [lim=@u tay=tape]
|
||||
|= {lim+@u tay+tape} ^- {lim+@u tay+tape}
|
||||
?~ tay [lim tay]
|
||||
?~ lim [0 ~]
|
||||
=+ wer=(dot 1^1 tay)
|
||||
@ -41,20 +41,20 @@
|
||||
--
|
||||
::
|
||||
!:
|
||||
|_ [hed=marl tal=marl]
|
||||
|_ {hed+marl tal+marl}
|
||||
::
|
||||
++ grow :: convert to
|
||||
++ grow :: convert to
|
||||
|%
|
||||
++ mime
|
||||
=< mime
|
||||
|%
|
||||
++ elem ;div:(h1:"*{hed}" div:"*{tal}") :: convert to %elem
|
||||
++ hymn ;html:(head:title:"snip" body:"+{elem}") :: convert to %hymn
|
||||
++ html (crip (poxo hymn)) :: convert to %html
|
||||
++ mime [/text/html (taco html)] :: convert to %mime
|
||||
++ elem ;div:(h1:"*{hed}" div:"*{tal}") :: convert to %elem
|
||||
++ hymn ;html:(head:title:"snip" body:"+{elem}") :: convert to %hymn
|
||||
++ html (crip (poxo hymn)) :: convert to %html
|
||||
++ mime [/text/html (taco html)] :: convert to %mime
|
||||
--
|
||||
--
|
||||
++ grab |% :: convert from
|
||||
++ noun ,[marl marl] :: clam from %noun
|
||||
++ elem |=(a=manx (hedtal +.a))
|
||||
++ grab |% :: convert from
|
||||
++ noun {marl marl} :: clam from $noun
|
||||
++ elem |=(a+manx (hedtal +.a))
|
||||
-- --
|
||||
|
||||
@ -2,15 +2,15 @@
|
||||
:::: /hoon/core/styl/pro
|
||||
::
|
||||
/? 314
|
||||
|_ mud=@t
|
||||
|_ mud+@t
|
||||
++ grow
|
||||
|%
|
||||
++ mime [/text/styl (taco mud)]
|
||||
--
|
||||
++ grab
|
||||
|%
|
||||
++ mime |=([p=mite q=octs] q.q)
|
||||
++ noun ,@t
|
||||
++ mime |=({p+mite q+octs} q.q)
|
||||
++ noun @t
|
||||
--
|
||||
++ grad %mime
|
||||
--
|
||||
|
||||
@ -10,11 +10,11 @@
|
||||
++ elem
|
||||
=- ;pre:code:"{(trip (role (turn - crip)))}" :: XX
|
||||
^- wall %- zing ^- (list wall)
|
||||
(turn (flop tan) |=(a=tank (wash 0^160 a)))
|
||||
(turn (flop tan) |=(a+tank (wash 0^160 a)))
|
||||
--
|
||||
++ grab :: convert from
|
||||
|%
|
||||
++ noun (list ^tank) :: clam from %noun
|
||||
++ tank |=(a=^tank [a]~)
|
||||
++ noun (list ^tank) :: clam from %noun
|
||||
++ tank |=(a+^tank [a]~)
|
||||
--
|
||||
--
|
||||
|
||||
@ -2,7 +2,7 @@
|
||||
:::: /hoon/term-line/mar
|
||||
::
|
||||
/? 314
|
||||
|_ txt-diff=(urge cord)
|
||||
|_ txt-diff+(urge cord)
|
||||
::
|
||||
++ grab :: convert from
|
||||
|%
|
||||
|
||||
89
mar/txt.hoon
89
mar/txt.hoon
@ -3,11 +3,11 @@
|
||||
::
|
||||
/? 314
|
||||
!:
|
||||
|_ txt=wain
|
||||
|_ txt+wain
|
||||
::
|
||||
++ grab :: convert from
|
||||
|%
|
||||
++ mime |=([p=mite q=octs] (lore q.q))
|
||||
++ mime |=({p+mite q+octs} (lore q.q))
|
||||
++ noun wain :: clam from %noun
|
||||
++ json :(corl lore need so:jo)
|
||||
--
|
||||
@ -21,18 +21,18 @@
|
||||
|%
|
||||
++ form %txt-diff
|
||||
++ diff
|
||||
|= tyt=wain
|
||||
|= tyt+wain
|
||||
^- (urge cord)
|
||||
(lusk txt tyt (loss txt tyt))
|
||||
::
|
||||
++ pact
|
||||
|= dif=(urge cord)
|
||||
|= dif+(urge cord)
|
||||
~| [%pacting dif]
|
||||
^- wain
|
||||
(lurk txt dif)
|
||||
::
|
||||
++ join
|
||||
|= [ali=(urge cord) bob=(urge cord)]
|
||||
|= {ali+(urge cord) bob+(urge cord)}
|
||||
^- (unit (urge cord))
|
||||
|^
|
||||
=. ali (clean ali)
|
||||
@ -41,9 +41,9 @@
|
||||
?~ ali `bob
|
||||
?~ bob `ali
|
||||
?- -.i.ali
|
||||
%&
|
||||
{$&}
|
||||
?- -.i.bob
|
||||
%&
|
||||
{$&}
|
||||
?: =(p.i.ali p.i.bob)
|
||||
%+ bind $(ali t.ali, bob t.bob)
|
||||
|=(cud=(urge cord) [i.ali cud])
|
||||
@ -52,7 +52,7 @@
|
||||
|=(cud=(urge cord) [i.bob cud])
|
||||
%+ bind $(ali t.ali, p.i.bob (sub p.i.bob p.i.ali))
|
||||
|=(cud=(urge cord) [i.ali cud])
|
||||
%|
|
||||
{$|}
|
||||
?: =(p.i.ali (lent p.i.bob))
|
||||
%+ bind $(ali t.ali, bob t.bob)
|
||||
|=(cud=(urge cord) [i.bob cud])
|
||||
@ -62,29 +62,29 @@
|
||||
~
|
||||
==
|
||||
::
|
||||
%|
|
||||
{$|}
|
||||
?- -.i.bob
|
||||
%| ~
|
||||
%&
|
||||
{$|} ~
|
||||
{$&}
|
||||
?: =(p.i.bob (lent p.i.ali))
|
||||
%+ bind $(ali t.ali, bob t.bob)
|
||||
|=(cud=(urge cord) [i.ali cud])
|
||||
?: (gth p.i.bob (lent p.i.ali))
|
||||
%+ bind $(ali t.ali, p.i.bob (sub p.i.bob (lent p.i.ali)))
|
||||
|=(cud=(urge cord) [i.ali cud])
|
||||
|=(cud+(urge cord) [i.ali cud])
|
||||
~
|
||||
==
|
||||
==
|
||||
++ clean :: clean
|
||||
|= wig=(urge cord)
|
||||
|= wig+(urge cord)
|
||||
^- (urge cord)
|
||||
?~ wig ~
|
||||
?~ t.wig wig
|
||||
?: ?=(%& -.i.wig)
|
||||
?: ?=(%& -.i.t.wig)
|
||||
?: ?=($& -.i.wig)
|
||||
?: ?=($& -.i.t.wig)
|
||||
$(wig [[%& (add p.i.wig p.i.t.wig)] t.t.wig])
|
||||
[i.wig $(wig t.wig)]
|
||||
?: ?=(%| -.i.t.wig)
|
||||
?: ?=($| -.i.t.wig)
|
||||
$(wig [[%| (welp p.i.wig p.i.t.wig) (welp q.i.wig q.i.t.wig)] t.t.wig])
|
||||
[i.wig $(wig t.wig)]
|
||||
--
|
||||
@ -101,16 +101,16 @@
|
||||
?~ ali bob
|
||||
?~ bob ali
|
||||
?- -.i.ali
|
||||
%&
|
||||
{$&}
|
||||
?- -.i.bob
|
||||
%&
|
||||
{$&}
|
||||
?: =(p.i.ali p.i.bob)
|
||||
[i.ali $(ali t.ali, bob t.bob)]
|
||||
?: (gth p.i.ali p.i.bob)
|
||||
[i.bob $(p.i.ali (sub p.i.ali p.i.bob), bob t.bob)]
|
||||
[i.ali $(ali t.ali, p.i.bob (sub p.i.bob p.i.ali))]
|
||||
::
|
||||
%|
|
||||
{$|}
|
||||
?: =(p.i.ali (lent p.i.bob))
|
||||
[i.bob $(ali t.ali, bob t.bob)]
|
||||
?: (gth p.i.ali (lent p.i.bob))
|
||||
@ -121,14 +121,14 @@
|
||||
:: ~ :: here, alice is good for a while, but not for the whole
|
||||
== :: length of bob's changes
|
||||
::
|
||||
%|
|
||||
{$|}
|
||||
?- -.i.bob
|
||||
%|
|
||||
{$|}
|
||||
=+ ^- [fic=(unce cord) ali=(urge cord) bob=(urge cord)]
|
||||
(resolve ali bob)
|
||||
[fic $(ali ali, bob bob)]
|
||||
::
|
||||
%&
|
||||
{$&}
|
||||
?: =(p.i.bob (lent p.i.ali))
|
||||
[i.ali $(ali t.ali, bob t.bob)]
|
||||
?: (gth p.i.bob (lent p.i.ali))
|
||||
@ -174,39 +174,44 @@
|
||||
^- (urge cord)
|
||||
?~ wig ~
|
||||
?~ t.wig wig
|
||||
?: ?=(%& -.i.wig)
|
||||
?: ?=(%& -.i.t.wig)
|
||||
?: ?=($& -.i.wig)
|
||||
?: ?=($& -.i.t.wig)
|
||||
$(wig [[%& (add p.i.wig p.i.t.wig)] t.t.wig])
|
||||
[i.wig $(wig t.wig)]
|
||||
?: ?=(%| -.i.t.wig)
|
||||
?: ?=($| -.i.t.wig)
|
||||
$(wig [[%| (welp p.i.wig p.i.t.wig) (welp q.i.wig q.i.t.wig)] t.t.wig])
|
||||
[i.wig $(wig t.wig)]
|
||||
::
|
||||
++ resolve
|
||||
|= [ali=(urge cord) bob=(urge cord)]
|
||||
^- [fic=[%| p=(list cord) q=(list cord)] ali=(urge cord) bob=(urge cord)]
|
||||
|= {ali+(urge cord) bob+(urge cord)}
|
||||
^- {fic+{$| p+(list cord) q+(list cord)} ali+(urge cord) bob+(urge cord)}
|
||||
=- [[%| bac (annotate alc boc bac)] ali bob]
|
||||
|- ^- $: $: bac=(list cord)
|
||||
alc=(list cord)
|
||||
boc=(list cord)
|
||||
|- ^- $^
|
||||
_: _: bac+(list cord)
|
||||
alc+(list cord)
|
||||
boc+(list cord)
|
||||
==
|
||||
ali=(urge cord)
|
||||
bob=(urge cord)
|
||||
ali+(urge cord)
|
||||
bob+(urge cord)
|
||||
==
|
||||
?~ ali [[~ ~ ~] ali bob]
|
||||
?~ bob [[~ ~ ~] ali bob]
|
||||
?- -.i.ali
|
||||
%&
|
||||
{$&}
|
||||
?- -.i.bob
|
||||
%& [[~ ~ ~] ali bob] :: no conflict
|
||||
%|
|
||||
{$&} [[~ ~ ~] ali bob] :: no conflict
|
||||
{$|}
|
||||
=+ lob=(lent p.i.bob)
|
||||
?: =(lob p.i.ali)
|
||||
[[p.i.bob p.i.bob q.i.bob] t.ali t.bob]
|
||||
?: (lth lob p.i.ali)
|
||||
[[p.i.bob p.i.bob q.i.bob] [[%& (sub p.i.ali lob)] t.ali] t.bob]
|
||||
=+ wat=(scag (sub lob p.i.ali) p.i.bob)
|
||||
=+ res=$(ali t.ali, bob [[%| (scag (sub lob p.i.ali) p.i.bob) ~] t.bob])
|
||||
=+ ^= res
|
||||
%= $
|
||||
ali t.ali
|
||||
bob [[%| (scag (sub lob p.i.ali) p.i.bob) ~] t.bob]
|
||||
==
|
||||
:* :* (welp bac.res wat)
|
||||
(welp alc.res wat)
|
||||
(welp boc.res q.i.bob)
|
||||
@ -216,16 +221,20 @@
|
||||
==
|
||||
==
|
||||
::
|
||||
%|
|
||||
{$|}
|
||||
?- -.i.bob
|
||||
%&
|
||||
{$&}
|
||||
=+ loa=(lent p.i.ali)
|
||||
?: =(loa p.i.bob)
|
||||
[[p.i.ali q.i.ali p.i.ali] t.ali t.bob]
|
||||
?: (lth loa p.i.bob)
|
||||
[[p.i.ali q.i.ali p.i.ali] t.ali [[%& (sub p.i.bob loa)] t.bob]]
|
||||
=+ wat=(slag (sub loa p.i.bob) p.i.ali)
|
||||
=+ res=$(ali [[%| (scag (sub loa p.i.bob) p.i.ali) ~] t.ali], bob t.bob)
|
||||
=+ ^= res
|
||||
%= $
|
||||
ali [[%| (scag (sub loa p.i.bob) p.i.ali) ~] t.ali]
|
||||
bob t.bob
|
||||
==
|
||||
:* :* (welp bac.res wat)
|
||||
(welp alc.res q.i.ali)
|
||||
(welp boc.res wat)
|
||||
@ -234,7 +243,7 @@
|
||||
bob.res
|
||||
==
|
||||
::
|
||||
%|
|
||||
{$|}
|
||||
=+ loa=(lent p.i.ali)
|
||||
=+ lob=(lent p.i.bob)
|
||||
?: =(loa lob)
|
||||
|
||||
@ -2,7 +2,7 @@
|
||||
:::: /hoon/core/unlog/mar
|
||||
::
|
||||
!:
|
||||
|_ man=span
|
||||
|_ man+span
|
||||
++ grab
|
||||
|% :: convert from
|
||||
++ noun span :: clam from %noun
|
||||
|
||||
@ -4,7 +4,7 @@
|
||||
/? 314
|
||||
:: /= dep /$ |=([^ but=path] `@uvH`?>(?=([%dep @ ~] but) (slav %uv i.t.but)))
|
||||
!:
|
||||
|_ own=manx
|
||||
|_ own+manx
|
||||
::
|
||||
++ grow :: convert to
|
||||
|%
|
||||
@ -15,7 +15,7 @@
|
||||
|% :: convert from
|
||||
++ noun manx :: clam from %noun
|
||||
++ hymn :: inject into %hymn
|
||||
|= old=manx old :: moved to %eyre
|
||||
|= old+manx old :: moved to %eyre
|
||||
:: ~| hymn//mal-formed
|
||||
:: :: ~| old
|
||||
:: ?> ?=([[%html ~] [[%head ~] *] [[%body ~] ^] ~] old) :: XX static
|
||||
|
||||
@ -4,9 +4,9 @@
|
||||
/? 314
|
||||
:::: A minimal urbit mark
|
||||
!:
|
||||
|_ her=@p
|
||||
|_ her+@p
|
||||
++ grab
|
||||
|%
|
||||
++ noun ,@p
|
||||
++ noun @p
|
||||
--
|
||||
--
|
||||
|
||||
@ -3,7 +3,7 @@
|
||||
::
|
||||
/? 314
|
||||
/- user
|
||||
|_ use=user
|
||||
|_ use+user
|
||||
::
|
||||
++ grab :: convert from
|
||||
|%
|
||||
|
||||
@ -2,7 +2,7 @@
|
||||
:::: /hoon/will/mar
|
||||
::
|
||||
/? 314
|
||||
|_ wyl=(unit will)
|
||||
|_ wyl+(unit will)
|
||||
::
|
||||
++ grab :: convert from
|
||||
|%
|
||||
|
||||
@ -1 +1 @@
|
||||
|=(~ ~)
|
||||
|=($~ ~)
|
||||
|
||||
@ -5,7 +5,7 @@
|
||||
::
|
||||
:::: compute
|
||||
::
|
||||
|_ wof=mime
|
||||
|_ wof+mime
|
||||
::
|
||||
++ grow :: convert to
|
||||
|%
|
||||
@ -13,7 +13,7 @@
|
||||
--
|
||||
++ grab
|
||||
|%
|
||||
++ mime |=([mite p=octs] [/application/font-woff p])
|
||||
++ mime |=({mite p+octs} [/application/font-woff p])
|
||||
++ noun ^mime
|
||||
--
|
||||
++ grad %mime
|
||||
|
||||
@ -1,11 +1,11 @@
|
||||
::
|
||||
::
|
||||
:::: /hoon/core/save/mar
|
||||
::
|
||||
!:
|
||||
|_ [typ=?(%hoon %md %txt) txt=@t]
|
||||
|_ {typ+?($hoon $md $txt) txt+@t}
|
||||
++ grab
|
||||
|%
|
||||
++ noun ,[?(%hoon %md %txt) @t]
|
||||
++ noun {?($hoon $md $txt) @t}
|
||||
++ json
|
||||
(corl need =>(jo (ot typ/(ci (soft ?(%hoon %md %txt)) so) txt/so ~)))
|
||||
--
|
||||
|
||||
@ -5,7 +5,7 @@
|
||||
::
|
||||
:::: compute
|
||||
::
|
||||
|_ htm=@t
|
||||
|_ htm+@t
|
||||
::
|
||||
++ grow :: convert to
|
||||
|% ::
|
||||
@ -13,6 +13,6 @@
|
||||
++ hymn (need (poxa htm)) :: to %hymn
|
||||
-- ::
|
||||
++ grab |% :: convert from
|
||||
++ noun ,@t :: clam from %noun
|
||||
++ mime |=([p=mite q=octs] q.q) :: retrieve form %mime
|
||||
++ noun @t :: clam from %noun
|
||||
++ mime |=({p+mite q+octs} q.q) :: retrieve form $mime
|
||||
-- --
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
::
|
||||
::
|
||||
:::: /hoon/sole/sur
|
||||
!:
|
||||
|%
|
||||
|
||||
Loading…
Reference in New Issue
Block a user