emeryberger merged emeryberger/LeanToPython#23 · July 6, 2026 11:41 Recursive & container user types: +39 harvestable functions, 9 transpiler bugs fixed #23 SummaryImplements PLAN.md bug-finding direction #2 (recursive user types) — and, since they share machinery, container types over user elements to… +613 -97