urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-25 04:52:06 +03:00
Code Issues Packages Projects Releases Wiki Activity

naive: 80 cols

Browse Source
This commit is contained in:
Philip Monk 2021-04-14 17:17:01 -07:00
parent 46275fa251
commit 45e28f535a
No known key found for this signature in database
GPG Key ID: B66E1F02604E44EC
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkg/arvo/tests/lib/naive.hoon
View File

@ -64,7 +64,9 @@
%+ expect-eq
!>
:- [%point ~bud %owner 0x123]~
[[[~bud %*(. *point:naive dominion %l1, owner.own 0x123^0, who.sponsor.net ~bud)] ~ ~] ~ ~]
:_ [~ ~] :_ [~ ~]
:- ~bud
%*(. *point:naive dominion %l1, owner.own 0x123^0, who.sponsor.net ~bud)
::
!>
%^ naive verifier *^state:naive