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

hoon: add +homo

Browse Source
This commit is contained in:
Alex Shelkovnykov 2023-09-04 15:42:43 -06:00
parent 85d9c03407
commit b85f5f5c97
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

@ -206,6 +206,13 @@
?~ a b ?~ a b
$(a t.a, b [i.a b]) $(a t.a, b [i.a b])
:: ::
++ homo :: homogenize
|* a=(list)
^+ =< $
|@ ++ $ ?:(*? ~ [i=(snag 0 a) t=$])
--
a
::
++ lent :: length ++ lent :: length
~/ %lent ~/ %lent
|= a=(list) |= a=(list)