Fix consLazy laziness: tail must not be forced when accessing head - #255
Closed
gdziadkiewicz with Copilot wants to merge 3 commits into
Closed
Fix consLazy laziness: tail must not be forced when accessing head#255gdziadkiewicz with Copilot wants to merge 3 commits into
consLazy laziness: tail must not be forced when accessing head#255gdziadkiewicz with Copilot wants to merge 3 commits into