Cairn Docs Claims Blog Packages

Claim ยท yap 0.1.0

yap^345 Overlay panel

A place of yap 0.1.0.

Id
yap^345
Kind
place
Reads as
retired
Version
0.1.0

All of yap 0.1.0's claims

In this place

No claim names this place.

Evidence

retired The overlay is now the original's, one to one (^399): the tape display instead of a bar waveform, and the transcript's last 280 characters instead of its last four lines.

Where it's defined

Declaration
Yap.retired_345
Module
Yap
Source
lean/Yap.lean:73 at v0.1.0
Statement hash
-

Ledger

yap^345 is retired in this version's claims.lock. An id never moves or changes meaning.