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

Activate cubical atoms. Still generating %cube.

Browse Source
This commit is contained in:
C. Guy Yarvin 2015-12-27 22:18:25 -05:00
parent 86022c41d8
commit d1c2b55215
1 changed files with 24 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
arvo/hoon.hoon
View File

@ -7858,7 +7858,11 @@
?- sut
{$atom *}
?- ref
{$atom *} %void
{$atom *} ?^ q.sut
?^ q.ref
?:(=(q.ref q.sut) %void sut)
%void
?^(q.ref sut %void)
{$cell *} sut
* sint
==
@ -7880,6 +7884,8 @@
{$cube *}
?: &(?=({$cube *} ref) =(p.sut p.ref))
%void
?: &(?=({$atom *} ref) =(`p.sut q.ref))
%void
?: ?=(?({$atom *} {$cell *}) ref)
=+ foz=dext(sut q.sut)
?: (firm(sut foz) p.sut)
@ -8075,7 +8081,9 @@
=+ bix=*(set {span *})
|- ^- ?
?- sut
{$atom *} !.?(dib)
{$atom *} ?& !.?(dib)
|(?=($~ q.sut) =(dib u.q.sut))
==
{$cell *} &(.?(dib) $(sut p.sut, dib -.dib) $(sut q.sut, dib +.dib))
{$core *}
?& .?(dib)
@ -8130,7 +8138,17 @@
?- sut
{$atom *}
?- ref
{$atom *} ?:((fitz p.ref p.sut) sut ref)
{$atom *} =+ foc=?:((fitz p.ref p.sut) p.sut p.ref)
?^ q.sut
?^ q.ref
?: =(q.sut q.ref)
[%atom foc q.sut]
%void
[%atom foc q.sut]
[%atom foc q.ref]
:: {$cube *} ?: &(?=(^ q.sut) !=(u.q.sut p.ref))
:: %void
:: $(sut ref, ref sut)
{$cell *} %void
* $(sut ref, ref sut)
==
@ -8599,7 +8617,9 @@
::
{$atom *}
?: ?=({$atom *} ref)
(fitz p.sut p.ref)
?& (fitz p.sut p.ref)
|(?=($~ q.sut) =(q.sut q.ref))
==
sint
::
{$cell *}