Cairn Docs Claims Blog Packages

Claim ยท cairn 0.2.3

cairn^452 Overlay panel

A place of cairn 0.2.3.

Id
cairn^452
Kind
place
Reads as
no proof
Version
0.2.3

All of cairn 0.2.3's claims

What it is

A panel at the bottom of the screen, over every app, that never takes focus or clicks: a row of moving bars and a line of text. Shown and hidden from the menu.

In this place

No claim names this place.

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.overlayPanel
Module
Examples.Tray
Source
lean/Examples/Tray.lean:90 at v0.2.3
Statement hash
-

Ledger

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