Cairn Docs Claims Blog Packages

Claim · cairn 0.2.2

cairn^215 Back through filters

A move of cairn 0.2.2.

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

All of cairn 0.2.2'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:216 at v0.2.2
Statement hash: -

Ledger

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