Skip to content

Fix consLazy laziness: tail must not be forced when accessing head#255

Closed
Copilot wants to merge 3 commits intorepo-assist/improve-lazylist-conslazy-23c4939b68642ec5from
copilot/sub-pr-239
Closed

Fix consLazy laziness: tail must not be forced when accessing head#255
Copilot wants to merge 3 commits intorepo-assist/improve-lazylist-conslazy-23c4939b68642ec5from
copilot/sub-pr-239

Commits

Commits on Mar 15, 2026