mirror of
https://github.com/urbit/shrub.git
synced 2024-11-24 04:58:08 +03:00
lull: removes +welt
This commit is contained in:
parent
2bca6fd3e1
commit
628525a549
@ -37,14 +37,6 @@
|
||||
depth=_1
|
||||
==
|
||||
::
|
||||
++ welt
|
||||
~/ %welt
|
||||
|* [a=(list) b=(list)]
|
||||
=> .(a ^.(homo a), b ^.(homo b))
|
||||
|- ^+ b
|
||||
?~ a b
|
||||
$(a t.a, b [i.a b])
|
||||
::
|
||||
:: +afx: polymorphic node type for finger trees
|
||||
::
|
||||
++ afx
|
||||
|
Loading…
Reference in New Issue
Block a user