Skip to content

Avoid partial functions Data.List.init and Data.List.last#254

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

Avoid partial functions Data.List.init and Data.List.last#254
hasufell merged 1 commit intomasterfrom
avoid-init-and-last

Commits

Commits on Jun 14, 2025