Infinite Lists in Lean (via eBPF) — discussion

#plt