This repository was archived by the owner on Oct 4, 2020. It is now read-only.

This repository was archived by the owner on Oct 4, 2020. It is now read-only.

folds over keys #133

Open

Open

folds over keys#133

Is this desired? While you can achieve the desired effect with the WithIndex functions, it lacks some elegance.

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests