p3-nested.aup « probes-027 « 044-specs « experiments « research - pure - Verified execution runtime unifying state, persistence, and replication.

about summary refs log tree commit diff stats

path: root/research/experiments/044-specs/probes-027/p3-nested.aup

blob: 0eb26ebf29ac5d6473d290aea0bff772b4e6987b (plain)

record Node {
  name: text
  children: list of Node
}
state root: list of Node