diff options
| author | Andreas Grois <andi@grois.info> | 2024-07-19 16:45:09 +0200 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-07-19 16:45:09 +0200 |
| commit | fa9074b17a6afc73cdf1854da222ba961fc1cc5c (patch) | |
| tree | ce30ab45b5d145216aa39caff350c8a41aaf733c /Day6.lean | |
| parent | a8a999a227dd9d0d646c090263c4fd215265e207 (diff) | |
Heap: Nomenclature clarified. Push and Pop now do what is expected.
Diffstat (limited to 'Day6.lean')
0 files changed, 0 insertions, 0 deletions