Skip to content

Typing interval exchanges#140

Merged
saraedum merged 4 commits intoflatsurf:masterfrom
fchapoton:typing_interval_exchanges
Sep 11, 2025
Merged

Typing interval exchanges#140
saraedum merged 4 commits intoflatsurf:masterfrom
fchapoton:typing_interval_exchanges

Conversation

@fchapoton
Copy link
Contributor

just adding some typing annotations in the folder interval_exchanges

@fchapoton
Copy link
Contributor Author

@saraedum, also ready

@saraedum saraedum merged commit bac8484 into flatsurf:master Sep 11, 2025
31 checks passed
@fchapoton fchapoton deleted the typing_interval_exchanges branch September 11, 2025 20:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants