search

JetBrains / intellij-arend

Arend plugin for IntelliJ IDEA
Apache License 2.0
90 stars 12 forks source link

Fix some QuickFixes with WARNING_UNUSED, RecursiveInstanceInferenceError and MissingArgumentsError #503

Closed alex999990009 closed 5 months ago