Make `Builtins.unsafeUncons` use builtin list casing#7467

Closed

sohang3112 wants to merge 3 commits intoIntersectMBO:masterfrom

sohang3112:master

Commits on Dec 3, 2025

Make `Builtins.unsafeUncons` use builtin list casing instead of head, tail calls
sohang3112
committed

Commits on Dec 5, 2025

correct according to PR feedback by @SeungheonOh
sohang3112
committed

Commits on Jan 11, 2026

Merge remote-tracking branch 'upstream/master'
sohang3112
committed