ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-23 14:55:48 +03:00
Code Issues Packages Projects Releases Wiki Activity

minor cleanup

Browse Source 
indentation; also removed a superfluous |- just after a |^
This commit is contained in:
Ted Blackman 2023-02-08 13:02:11 -05:00 committed by GitHub
parent b360fed0a5
commit 011b19d0e2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 32 additions and 33 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
pkg/arvo/gen/hood/tomb.hoon
View File

@ -17,20 +17,19 @@
=- (turn - notes) =- (turn - notes)
=- (turn lobes -) =- (turn lobes -)
|= =lobe |= =lobe
|^ |^ ^- (set [ship desk tako norm path])
|- ^- (set [ship desk tako norm path]) ?~ domes
?~ domes
~ ~
=/ =aeon 1 =/ =aeon 1
%- ~(uni in $(domes t.domes)) %- ~(uni in $(domes t.domes))
|- ^- (set [ship desk tako norm path]) |- ^- (set [ship desk tako norm path])
?: (lth let.dome.i.domes aeon) ?: (lth let.dome.i.domes aeon)
~ ~
=/ =tako (~(got by hit.dome.i.domes) aeon) =/ =tako (~(got by hit.dome.i.domes) aeon)
=/ paths (draw-tako ship.i.domes desk.i.domes +.i.domes tako aeon) =/ paths (draw-tako ship.i.domes desk.i.domes +.i.domes tako aeon)
(~(uni in paths) $(aeon +(aeon))) (~(uni in paths) $(aeon +(aeon)))
:: ::
++ draw-tako ++ draw-tako
|= [=ship =desk [do=dome tom=(map tako norm) nor=norm] =tako =aeon] |= [=ship =desk [do=dome tom=(map tako norm) nor=norm] =tako =aeon]
^- (set [^ship ^desk ^tako norm path]) ^- (set [^ship ^desk ^tako norm path])
~+ ~+
@ -51,7 +50,7 @@
?. =(lobe q.n.q.yaki) ?. =(lobe q.n.q.yaki)
~ ~
[[ship desk tako (~(gut by tom) tako nor) p.n.q.yaki] ~ ~] [[ship desk tako (~(gut by tom) tako nor) p.n.q.yaki] ~ ~]
-- --
:: ::
++ lobes ++ lobes
=| lubs=(list lobe) =| lubs=(list lobe)