Programs using a cost bound
1 verified Soma programs that use a cost bound. Start from one of these when you write a program that needs it.
| Program | Lines | Uses |
|---|---|---|
| Refund agent — an LLM decides, the language decides what it may do | 162 | a state machine, a memory invariant, an agent cell, a sum type, LLM calls (think), match, try / catch, guard blocks, require / fail, a cost bound, tools |