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

Intellij-plugin support `unapply` method for `@apply` #3

Closed

jxnu-liguobin opened this issue Aug 10, 2021 · 0 comments

Member

jxnu-liguobin commented Aug 10, 2021

No description provided.

jxnu-liguobin assigned IceMimosa

jxnu-liguobin transferred this issue from bitlap/smt

jxnu-liguobin closed this as completed

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