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

Explain curb better

Browse Source
This commit is contained in:
bonbud-macryg 2024-06-03 10:54:09 +01:00 committed by SuperCoolYun
parent 8b037b6986
commit dfc116067a
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -5,9 +5,9 @@
^- kook:neo
|%
::
:: the state of counter is a %number, just a @ud
:: curb:neo is a head-tagged constraint on the state
:: here the state is only ever one thing: a %number
:: the state of the counter is a %number, just a @ud
:: a curb:neo is a constraint imposed on a shrub
:: here the state is %only ever one thing
++ state
^- curb:neo
[%only %number]