Skip to content

Add Data.List.NonEmpty.deleteAt #168

Open
@jamesdbrock

Description

@jamesdbrock

https://pursuit.purescript.org/packages/purescript-lists/5.4.1/docs/Data.List.NonEmpty

Data.List.NonEmpty.deleteAt function doesn't exist, but

do exist. Seems like we should add Data.List.NonEmpty.deleteAt ?

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions