Skip to content

Conversation

@mohamed-barakat
Copy link
Member

No description provided.

@mohamed-barakat
Copy link
Member Author

This PR needs the implementation of Limit in CategoryConstructor, which at some point could be moved to CAP, or FinSetsForCAP could add CategoryConstructor as a dependency.

@zickgraf
Copy link
Member

I would prefer to wait until Limit is moved to CAP.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants