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

Merge pull request #1172 from urbit/jet

Browse Source 
remove ~&pure-mint from mint (prelude to jet decapitation)
This commit is contained in:
Jared Tobin 2019-05-17 20:54:33 +08:00 committed by GitHub
commit 75e3479a53
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
sys/hoon.hoon
View File

@ -10133,7 +10133,7 @@
~/ %mint
|= {gol/type gen/hoon}
^- {p/type q/nock}
~& %pure-mint
::~& %pure-mint
|^ ^- {p/type q/nock}
?: ?&(=(%void sut) !?=({$dbug *} gen))
?. |(!vet ?=({$lost *} gen) ?=({$zpzp *} gen))