This would look nicer with a `range` instead of `start` and `end` arguments. Not sure if hax/F* can handle that though.
Open
- Dominant language
- F*
- Stars
- 138
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
This would look nicer with a `range` instead of `start` and `end` arguments. Not sure if hax/F* can handle that though.
_Originally posted by @franziskuskiefer in https://github.com/cryspen/bertie/pull/112#discussion_r1553019521_
Contributor guide
Research direction
Start with the API discussed in pull request #112 and inspect how hax/F* represents the current start and end arguments. Determine whether a range can be supported without changing the intended behavior; done means the API uses the agreed representation and the relevant checks still pass.
Written by the indexing model from the issue text.
Assessment
- Domain
- backend-api-design
- Issue type
- Refactor
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100