urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-11-24 13:06:09 +03:00
Code Issues Packages Projects Releases Wiki Activity

Explain curb

Browse Source
This commit is contained in:
bonbud-macryg 2024-06-03 10:41:23 +01:00
parent 59b352aebe
commit 486c86c494
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkg/arvo/neo/cod/std/src/imp/counter.hoon
View File

@ -6,10 +6,11 @@
|%
::
:: the state of counter is a %number, just a @ud
:: XX explain %pro / $curb?
:: curb:neo is a head-tagged constraint on the state
:: here the state is only ever one thing: a %number
++ state
^- curb:neo
[%pro %number]
[%only %number]
::
:: the set of pokes that counter
:: takes only contains %counter-diff