Cairn Docs Claims Blog Packages

Claim · cairn 0.2.1

cairn^106 Basics window

A place of cairn 0.2.1.

Id: cairn^106
Kind: place
Reads as: no proof
Version: 0.2.1

All of cairn 0.2.1'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^101`	Type a new itemType in the New item field, and press Enter.	proved
`cairn^102`	AddPress Add.	proved
`cairn^103`	Toggle an itemPress an item's checkbox.	proved
`cairn^104`	Delete an itemPress an item's delete button.	proved

Flows

Id	Claim	Reads as
`cairn^107`	Add two items and finish oneType milk and press Enter, type eggs and press Add, then check milk.	proved
`cairn^108`	Blank text adds nothingType spaces, then press Enter and Add.	proved
`cairn^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: Examples.Basics
Source: lean/Examples/Basics.lean:297 at v0.2.1
Statement hash: -

Ledger

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