Skip to content

Auto-tuple SLists #8

Open
Open
Auto-tuple SLists#8

Description

@ryan-williams
ryan-williams
opened on Oct 17, 2018

Would be nice to allow e.g.

Array((1000, 1000))(1 to 1000000)

in addition to the current

Array(1000 :: 1000 :: ⊥)(1 to 1000000)

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions