Abstract typeintro
Steque
A data type combining stack and queue, supporting push, pop and enqueue, where enqueue adds an item at the end.
A data type combining stack and queue, supporting push, pop and enqueue, where enqueue adds an item at the end.
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 TQ9X45 Edit this page History Report an error