ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-17 20:01:32 +03:00
Code Issues Packages Projects Releases Wiki Activity

Run soft code for %cnts in mint, mull, play.

Browse Source
This commit is contained in:
C. Guy Yarvin 2016-01-08 16:27:41 -08:00
parent 56ddd934c6
commit 6681655de6
1 changed files with 24 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
arvo/hoon.hoon
View File

@ -7946,9 +7946,23 @@
$(rig t.rig, q.q.lar q.cuf, q.q.vug q.dof) $(rig t.rig, q.q.lar q.cuf, q.q.vug q.dof)
-- --
:: ::
++ epla ~/(%epla |=({wing (list (pair wing twig))} ~(play et +<))) ++ epla
++ emin ~/(%emin |=({wing (list (pair wing twig))} ~(mint et +<))) ~/ %epla
++ emul ~/(%emul |=({wing (list (pair wing twig))} ~(mull et +<))) |= {hyp/wing rig/(list (pair wing twig))}
^- span
~(play et hyp rig)
::
++ emin
~/ %emin
|= {gol/span hyp/wing rig/(list (pair wing twig))}
^- (pair span nock)
(~(mint et hyp rig) gol)
::
++ emul
~/ %emul
|= {gol/span dox/span hyp/wing rig/(list (pair wing twig))}
^- (pair span span)
(~(mull et hyp rig) gol dox)
:: ::
++ find ++ find
|= {way/vial hyp/wing} |= {way/vial hyp/wing}
@ -9742,13 +9756,13 @@
|= lang |= lang
^- (unit twig) ^- (unit twig)
?- -.vil ?- -.vil
$col [~ %tsgl ros p.vil] $col ?:(=([%base %bean] ros) ~ [~ %tsgl ros p.vil])
$pel (bind ~(reek ap ros) |=(hyp/wing [%cnts hyp p.vil])) $pel (bind ~(reek ap ros) |=(hyp/wing [%cnts hyp p.vil]))
$ket [~ ros p.vil] $ket [~ ros p.vil]
$fas =+ tog=~(hock ap ros) $fas =+ tog=~(hock ap ros)
?.(?=(@ tog) ~ [~ %bcts tog p.vil]) ?.(?=(@ tog) ~ [~ %bcts tog p.vil])
$tis =+ tog=~(hock ap ros) $tis =+ tog=~(hock ap ros)
?:(=([%0 ~] tog) ~ [~ %ktts tog p.vil]) ?:(=([%0 ~] tog) ~ [~ %ktts tog p.vil])
== ==
:: ::
++ long ++ long