Closed namenu closed 1 year ago
Latest commit: a3840211b43bf61cdc34fa7bb6cc659ccb1ea382
Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.
Click here to learn what changesets are, and how to add one.
Click here if you're a maintainer who wants to add a changeset to this PR
introduce finger-tree as a general purpose data structure