urbit/ares
1
1
Fork 0
mirror of https://github.com/urbit/ares.git synced 2024-11-22 15:08:54 +03:00
Code Issues Packages Projects Releases Wiki Activity

hoon: add +mure

Browse Source
This commit is contained in:
Alex Shelkovnykov 2023-09-04 15:55:11 -06:00
parent 475143b4d4
commit b5532abe92
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
hoon/scaffolding/playpen.hoon
View File

@ -892,4 +892,11 @@
%3 `[-.target u.mutant]
==
--
::
++ mure :: untyped unitary virtual
|= tap=(trap)
^- (unit)
=/ ton (mink [tap %9 2 %0 1] |=(a=^ ``.*(a [%12 [%0 2] %0 3])))
?.(?=(%0 -.ton) ~ `product.ton)
--