feat: Simplify `pint new` counter example to use one predicate

essential-contributions / pint

Pint, the constraint-based programming language for declarative blockchains

Apache License 2.0

17 stars 3 forks source link

Closed mitchmindtree closed 3 months ago

mitchmindtree commented 3 months ago

cc @freesig @mohammadfawaz let me know if this seems OK or you want to make any tweaks :ok_hand: