Skip to content

[WIP] Complexity Documentation for List Module Functions #18791

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

Copilot
Copy link
Contributor

@Copilot Copilot AI commented Jul 30, 2025

Thanks for asking me to work on this. I will get started on it and keep this PR's description up to date as I form a plan and make progress.

Original description:

Add time and space complexity documentation in to all public functions in the List module in list.fsi. Derive complexity from implementation, using strict format, and append to existing remarks if present.

This pull request was created as a result of the following prompt from Copilot chat.

Add time and space complexity documentation in to all public functions in the List module in list.fsi. Derive complexity from implementation, using strict format, and append to existing remarks if present.


💬 Share your feedback on Copilot coding agent for the chance to win a $200 gift card! Click here to start the survey.

Copy link
Contributor

✅ No release notes required

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: New
Development

Successfully merging this pull request may close these issues.

2 participants