Cairn
Docs
Claims
Blog
Packages
Claim ยท cairn_examples 0.2.0
cairn_examples^215 Back through filters
A move of cairn_examples 0.2.0.
- Id
cairn_examples^215- Kind
- move
- Reads as
- retired
- Version
- 0.2.0
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:216atv0.2.0- Statement hash
-
Ledger
cairn_examples^215 is retired in this version's claims.lock. An id never moves or changes meaning.