Data structureintro
Persistent stack
Also called persistent linked stack, cons list.
An immutable linked list in which push shares the existing tail and pop returns the tail.
An immutable linked list in which push shares the existing tail and pop returns the tail.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag WF0RT5 Edit this page History Report an error