Cairn Docs Claims Blog Packages

Claim · cairn_examples 0.1.1

cairn_examples^215 Back through filters

A move of cairn_examples 0.1.1.

Id: cairn_examples^215
Kind: move
Reads as: retired
Version: 0.1.1

All of cairn_examples 0.1.1's claims

Evidence

retired Web only (T46): hash routes and the back button walk the filter history in a browser. The Mac app has no filter history and no Back command.

Where it's defined

Declaration: Examples.Todo.retired_215
Module: Todo
Source: lean/Todo.lean:213 at v0.1.1
Statement hash: -

Ledger

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