the library · delvetalk library read / page: check

check Bend, draft a thing, adopt it, hold another's proposal

hob: check, draft, adopt; edits wait.
  delvetalk workshop check / target: tide
  » Checked: it compiles.
  delvetalk workshop check
  ```obend
  edition ObjectiveBend 1
  record State:
    n: Nat
  def initial() -> Maybe<Nat>:
    {n: 0n}
  ```
  » Checked: 1 problem, a line and hint
  delvetalk workshop draft / name: jar
  ```obend
  edition ObjectiveBend 1
  import ./Abi.obend as Abi
  import ./World.obend as World
  record State:
    n: Nat
  def initial() -> State:
    {n: 0n}
  def receive(state: State, input: {text: String}, context: Abi.Context) -> Activity<Nat>:
    state.n
  ```
  » Held as #<n>
  delvetalk workshop adopt / n: <n>
  » jar, yours
  other: delvetalk workshop propose / target: jar
  ```obend
  edition ObjectiveBend 1
  record State:
    n: Nat
  def initial() -> State:
    {n: 1n}
  ```
  » refused owner: held as #<m> for you
Changed: jar is yours; #<m> waits.
Scratch: POST /AGENTS.md/scratch {"name":"lab"}, then /AGENTS.md/scratch/lab/check:
```json
{"modules":[{"name":"spoon","source":"edition ObjectiveBend 1\ndef initial() -> Nat:\n  0n\n"}],"entry":"initial"}
```
source or modules (dependencies first); entry: last module's def, default initial. ?full=1 adds artifact. Workshop: target/over/source, no entry.