Skip to content
This repository was archived by the owner on Mar 24, 2025. It is now read-only.

IDE support @constructor #6

Open
jxnu-liguobin opened this issue Jul 6, 2021 · 1 comment
Open

IDE support @constructor #6

jxnu-liguobin opened this issue Jul 6, 2021 · 1 comment
Labels
help wanted Extra attention is needed

Comments

@jxnu-liguobin
Copy link
Member

Generic and currying
@jxnu-liguobin jxnu-liguobin changed the title @constructor IDE support @constructor Jul 6, 2021
@IceMimosa IceMimosa reopened this Jul 10, 2021
@jxnu-liguobin jxnu-liguobin transferred this issue from bitlap/smt Jan 2, 2022
@IceMimosa IceMimosa added the help wanted Extra attention is needed label Mar 27, 2022
@IceMimosa
Copy link
Member

issue: https://youtrack.jetbrains.com/issue/SCL-20065

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
help wanted Extra attention is needed
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@IceMimosa @jxnu-liguobin