Merge pull request #1148 from urbit/philip/bake

add +bake
This commit is contained in:
Philip Monk 2019-04-16 14:37:36 -07:00 committed by GitHub
commit 033352820a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -615,7 +615,7 @@
:: :: :: ::
:: :: :: ::
:: ::
:: +snoc Append an element to the end of a list. :: +snoc: append an element to the end of a list
:: ::
++ snoc ++ snoc
|* [a/(list) b/*] |* [a/(list) b/*]
@ -674,6 +674,13 @@
-- --
a a
:: ::
:: +bake: convert wet gate to dry gate by specifying argument mold
::
++ bake
|* [f=gate a=mold]
|= arg=a
(f arg)
::
++ lent :: length ++ lent :: length
~/ %lent ~/ %lent
|= a/(list) |= a/(list)