urbit/ares
1
1
Fork 0
mirror of https://github.com/urbit/ares.git synced 2024-11-26 09:57:56 +03:00
Code Issues Packages Projects Releases Wiki Activity

[ska] [initialization] semantic corrections for +wove, comment correction for +arid

Browse Source
This commit is contained in:
Edward Amsden 2023-03-14 21:37:17 -05:00
parent 9eeeedbb33
commit 4ab191732e
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
hoon/codegen/lib/sky.hoon
View File

@ -14,6 +14,7 @@
++ wove ++ wove
|= kine=type |= kine=type
^- boot ^- boot
=| gil=(set type)
?@ kine ?@ kine
?- kine ?- kine
%noun [%risk %toss ~] %noun [%risk %toss ~]
@ -38,7 +39,7 @@
:: ::
%fork %fork
=/ tins ~(tap in p.kine) =/ tins ~(tap in p.kine)
?~ tins [%risk %toss ~] ?~ tins [%boom ~]
=/ hypo $(kine i.tins) =/ hypo $(kine i.tins)
=/ tons t.tins =/ tons t.tins
|- |-
@ -50,7 +51,9 @@
$(kine q.kine) $(kine q.kine)
:: ::
%hold %hold
$(kine p.kine) ?: (~(has in gil) kine)
[%risk %toss ~]
$(gil (~(put in gil) kine), kine ~(repo ut kine))
== ==
:: turn a seminoun into a sock :: turn a seminoun into a sock
++ spry ++ spry
@ -81,7 +84,7 @@
:: than what we knew last time (intersection cannot add knowledge) :: than what we knew last time (intersection cannot add knowledge)
:: if we know the same, we stop now. We can only subtract finitely many :: if we know the same, we stop now. We can only subtract finitely many
:: axes of knowledge from the tree before we know [%boom ~] or :: axes of knowledge from the tree before we know [%boom ~] or
:: [%risk %gues ~] at which point we will learn the same thing twice :: [%risk %toss ~] at which point we will learn the same thing twice
:: and terminate :: and terminate
++ arid ++ arid
|= [muck=boot step=(list [@ @])] |= [muck=boot step=(list [@ @])]