Cairn Docs Claims Blog Packages

Claim ยท cairn 0.2.1

cairn^451 Recent Items submenu

A place of cairn 0.2.1.

Id
cairn^451
Kind
place
Reads as
no proof
Version
0.2.1

All of cairn 0.2.1's claims

What it is

The Recent Items submenu: the recent items, newest first (or None yet), then Clear Recent Items.

In this place

Moves

IdClaimReads as
cairn^457Recent itemChoose an item under Recent Items.proved
cairn^458Clear Recent ItemsChoose Clear Recent Items under Recent Items, while there are some.proved

Evidence

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

Where it's defined

Declaration
Examples.Tray.recentMenu
Module
Examples.Tray
Source
lean/Examples/Tray.lean:87 at v0.2.1
Statement hash
-

Ledger

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