Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Using indexed is too fragile #127

Closed
CohenCyril opened this issue Dec 14, 2020 · 1 comment · Fixed by #159
Closed

Using indexed is too fragile #127

CohenCyril opened this issue Dec 14, 2020 · 1 comment · Fixed by #159
Assignees
@gares
Milestone
1.1.0

Comments

@CohenCyril
Copy link
Member

We should replace by another kind of meta information.
@gares gares modified the milestones: 1.0, 1.0.0, 1.1.0 Dec 15, 2020
@pi8027
Copy link
Member

pi8027 commented Feb 18, 2021

Duplicate of #139

@pi8027 pi8027 marked this as a duplicate of #139 Feb 18, 2021
@gares gares self-assigned this Feb 22, 2021
@gares gares mentioned this issue Feb 23, 2021
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@gares gares

Labels
None yet
Projects
None yet
Milestone
1.1.0
Development

Successfully merging a pull request may close this issue.

kill ty-deps, long live #[key="T"] math-comp/hierarchy-builder
3 participants
@pi8027 @CohenCyril @gares