Zulip Chat Archive
Stream: mathlib4
Topic: List
Yury G. Kudryashov (Jan 16 2023 at 07:12):
How are lists stored in Lean 4? Is it a linked list? An array?
Sebastian Ullrich (Jan 16 2023 at 09:08):
A linked list, just like any other ordinary inductive type
Last updated: Dec 20 2023 at 11:08 UTC