Skip to content

Revert "Avoid partial functions Data.List.init and Data.List.last"#260

Merged
hasufell merged 1 commit intomasterfrom
revert-avoid-init-and-last
Nov 2, 2025
Merged

Revert "Avoid partial functions Data.List.init and Data.List.last"#260
hasufell merged 1 commit intomasterfrom
revert-avoid-init-and-last

Commits

Commits on Nov 1, 2025