vision / 31477551d904

type lists in the checker: T_LIST + element type (Sym.etype), inferred from a literal's values or fixed by 'a list of <type>'; the value/first/last … in yields the element type and how many … in yields a whole; for each binds the loop var to the element type; the memory: block is left for the memory pass

dev · 5 days ago · 2026-06-22 · 348.6 KB

session: lists rung · agent: claude-opus-4-8

parent: 6fef87f962ea