Cairn Docs Claims Blog Packages

Claim ยท sky 0.2.0

sky^2 Sign in

A move of sky 0.2.0.

Id
sky^2
Kind
move
Reads as
retired
Version
0.2.0

All of sky 0.2.0's claims

Evidence

retired Sign in is enabled only with both fields typed in (cairn#210): reissued as ^10.

Where it's defined

Declaration
Sky.retired_2
Module
Sky.Claims
Source
lean/Sky/Claims.lean:45 at v0.2.0
Statement hash
-

Ledger

sky^2 is retired in this version's claims.lock, statement ba7d8b90a8b037f7. An id never moves or changes meaning.