Add ++skid jet

2024-11-13 08:38:43 +03:00 · 2015-09-19 09:50:39 -07:00 · 2015-09-19 09:50:39 -07:00 · cb8e5f41df
commit cb8e5f41df
parent eff952ad2a
1 changed files with 1 additions and 0 deletions
--- a/arvo/hoon.hoon
+++ b/arvo/hoon.hoon
@ -729,6 +729,7 @@
  $(a t.a, b b(+<+ (b i.a +<+.b)))
 ::
 ++  skid                                                ::  separate
+  ~/  %skid
  |*  [a=(list) b=$+(* ?)]
  |-  ^+  [p=a q=a]
  ?~  a  [~ ~]