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

Merge pull request #6098 from wicrum-wicrun/patch-1

Browse Source 
base-dev: remove `+fact-curry` from lib/agentio
This commit is contained in:
Philip Monk 2023-01-17 15:24:54 -07:00 committed by GitHub
commit 35f1cdb93f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkg/base-dev/lib/agentio.hoon
View File

@ -93,11 +93,6 @@
(arvo %e %connect binding app)
--
::
++ fact-curry
|* [=mark =mold]
|= [paths=(list path) fac=mold]
(fact mark^!>(fac) paths)
::
++ fact-kick
|= [=path =cage]
^- (list card)