urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2025-01-08 14:09:29 +03:00
Code Issues Packages Projects Releases Wiki Activity

Hack r-co.

Browse Source 
I think this is the best way to do this...
This commit is contained in:
Jared Hance 2014-06-27 10:11:07 -04:00
parent fb202f68eb
commit ee18ef9196
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
arvo/hoon.hoon
View File

@ -3299,9 +3299,11 @@
++ d-co |=(min=@ (em-co [10 min] |=([? b=@ c=tape] [~(d ne b) c]))) ++ d-co |=(min=@ (em-co [10 min] |=([? b=@ c=tape] [~(d ne b) c])))
++ r-co ++ r-co
|= [syn=? nub=@ der=@] |= [syn=? nub=@ der=@]
=> .(rex ['.' ((d-co 1) der)]) => .(rex ['.' (t-co ((d-co 1) der))])
=> .(rex ((d-co 1) nub)) => .(rex ((d-co 1) nub))
?:(syn rex ['-' rex]) ?:(syn rex ['-' rex])
++ t-co |= a=tape ^- tape
?~ a ~|(%empty-frac !!) t.a
:: ::
++ s-co ++ s-co
|= esc=(list ,@) ^- tape |= esc=(list ,@) ^- tape
@ -3310,6 +3312,7 @@
rex rex
:- '.' :- '.'
=>(.(rex $(esc t.esc)) ((x-co 4) i.esc)) =>(.(rex $(esc t.esc)) ((x-co 4) i.esc))
:: ::
++ v-co |=(min=@ (em-co [32 min] |=([? b=@ c=tape] [~(v ne b) c]))) ++ v-co |=(min=@ (em-co [32 min] |=([? b=@ c=tape] [~(v ne b) c])))
++ w-co |=(min=@ (em-co [64 min] |=([? b=@ c=tape] [~(w ne b) c]))) ++ w-co |=(min=@ (em-co [64 min] |=([? b=@ c=tape] [~(w ne b) c])))