Cairn Docs Claims Blog Packages

Claim · cairn_examples 0.2.0

cairn_examples^106 Basics window

A place of cairn_examples 0.2.0.

Id: cairn_examples^106
Kind: place
Reads as: no proof
Version: 0.2.0

All of cairn_examples 0.2.0's claims

What it is

The window: a heading, the New item field and Add, the list of items, and the count of items left.

In this place

Moves

Id	Claim	Reads as
`cairn_examples^101`	Type a new itemType in the New item field, and press Enter.	proved
`cairn_examples^102`	AddPress Add.	proved
`cairn_examples^103`	Toggle an itemPress an item's checkbox.	proved
`cairn_examples^104`	Delete an itemPress an item's delete button.	proved

Flows

Id	Claim	Reads as
`cairn_examples^107`	Add two items and finish oneType milk and press Enter, type eggs and press Add, then check milk.	proved
`cairn_examples^108`	Blank text adds nothingType spaces, then press Enter and Add.	proved
`cairn_examples^109`	Add an item, then delete itType milk, press Add, then press milk's delete button.	proved

Evidence

no proof	A place states where claims live; it has nothing to prove.
seen	Not shown yet: a screenshot of the app shows it. A CI step will publish it (#95).

Where it's defined

Declaration: Examples.Basics.window
Module: Basics
Source: lean/Basics.lean:297 at v0.2.0
Statement hash: -

Ledger

cairn_examples^106 is active in this version's claims.lock. An id never moves or changes meaning.