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

Reverse =/ and =;. Fix a =^ issue.

Browse Source
This commit is contained in:
C. Guy Yarvin 2016-02-27 13:49:29 -08:00 committed by Raymond Pasco
parent 4a75bfd569
commit 7b5ad6a307
1 changed files with 21 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

40
arvo/hoon.hoon
View File

@ -280,8 +280,8 @@
:: :::::: compositions :: :::::: compositions
{$new p/twig q/twig} :: =| push bunt {$new p/twig q/twig} :: =| push bunt
{$fix p/(list (pair wing twig)) q/twig} :: =: q with p changes {$fix p/(list (pair wing twig)) q/twig} :: =: q with p changes
{$var p/taco q/twig r/twig} :: =; typed variable {$var p/taco q/twig r/twig} :: =/ typed variable
{$rev p/taco q/twig r/twig} :: =/ =;(q p r) {$rev p/taco q/twig r/twig} :: =; =/(q p r)
{$set p/wing q/twig r/twig} :: =. r with p as q {$set p/wing q/twig r/twig} :: =. r with p as q
{$rap p/twig q/twig} :: =< =>(q p) {$rap p/twig q/twig} :: =< =>(q p)
{$nip p/twig q/twig} :: =- =+(q p) {$nip p/twig q/twig} :: =- =+(q p)
@ -7231,12 +7231,12 @@
[[[[%| 0 ~] [%& 6] ~] [%limb %c]] ~] :: [[[[%| 0 ~] [%& 6] ~] [%limb %c]] ~] ::
== :: == ::
:: ::
{$fry *} :: ;; {$fry *} :: ;;
:+ %per [%name %v %$ 1] :: => v=. :+ %per [%name %v %$ 1] :: => v=.
:+ %pin :+ %name %a :: =+ ^= a :+ %pin :+ %name %a :: =+ ^= a
[%per [%limb %v] p.gen] :: =>(v {p.gen}) [%per [%limb %v] p.gen] :: =>(v {p.gen})
:+ %pin [%name %b [%per [%limb %v] q.gen]] :: =+ b==>(v {q.gen}) :+ %pin [%name %b [%per [%limb %v] q.gen]] :: =+ b==>(v {q.gen})
:+ %pin :: =+ c=(a b) :+ %pin :: =+ c=(a b)
[%name %c [%call [%limb %a] [%limb %b] ~]] :: [%name %c [%call [%limb %a] [%limb %b] ~]] ::
[%sure [%same [%limb %c] [%limb %b]] [%limb %c]] :: ?>(=(c b) c) [%sure [%same [%limb %c] [%limb %b]] [%limb %c]] :: ?>(=(c b) c)
:: ::
@ -7255,17 +7255,19 @@
{$set *} {$set *}
[%per [%keep [[%& 1] ~] [[p.gen q.gen] ~]] r.gen] [%per [%keep [[%& 1] ~] [[p.gen q.gen] ~]] r.gen]
:: ::
{$sip *} :: =^ {$sip *} :: =^
=+ wuy=(weld q.gen `wing`[%v ~]) :: =+ wuy=(weld q.gen `wing`[%v ~]) ::
:+ %per [%name %v %$ 1] :: => v=. :+ %per [%name %v %$ 1] :: => v=.
:+ %pin [%name %a %per [%limb %v] r.gen] :: =+ a==>(v \r.gen) :+ %pin [%name %a %per [%limb %v] r.gen] :: =+ a==>(v \r.gen)
:^ %set wuy [%rap [%$ 3] [%limb %a]] :: =. \wuy +.a :^ %set wuy [%rap [%$ 3] [%limb %a]] :: =. \wuy +.a
:+ %per :- ?@ p.gen :: :+ %per :- ?@ p.gen ::
:+ %name p.gen :: => :- ^= \p.gen :+ %name p.gen :: => :- ^= \p.gen
[%rap [%$ 2] [%limb %a]] :: -.a [%rap [%$ 2] [%limb %a]] :: -.a
:+ %cast [%coat p.gen] :: => :- ^- \p.gen :+ %cast
[%rap [%$ 2] [%limb %a]] :: -.a :+ %coat -.p.gen
[%limb %v] :: v [%per [%limb %v] +.p.gen] :: => :- ^- \p.gen
[%rap [%$ 2] [%limb %a]] :: -.a
[%limb %v] :: v
s.gen :: s.gen s.gen :: s.gen
:: ::
{$rap *} [%per q.gen p.gen] {$rap *} [%per q.gen p.gen]
@ -9954,8 +9956,8 @@
['.' (rune dot %set expq)] ['.' (rune dot %set expq)]
['^' (rune ket %sip expt)] ['^' (rune ket %sip expt)]
[':' (rune col %fix expp)] [':' (rune col %fix expp)]
[';' (rune sem %var expo)] ['/' (rune fas %var expo)]
['/' (rune fas %rev expo)] [';' (rune sem %rev expo)]
['<' (rune gal %rap expb)] ['<' (rune gal %rap expb)]
['>' (rune gar %per expb)] ['>' (rune gar %per expb)]
['-' (rune hep %nip expb)] ['-' (rune hep %nip expb)]