Cairn Docs Claims Blog Packages

Claim · cairn 0.2.5

cairn^215 Back through filters

A move of cairn 0.2.5.

Id: cairn^215
Kind: move
Reads as: retired
Version: 0.2.5

All of cairn 0.2.5'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: Examples.Todo
Source: lean/Examples/Todo.lean:214 at v0.2.5
Statement hash: -

Ledger

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