search

JetBrains / intellij-arend

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

Incorrect \import #555

Closed valis closed 1 month ago

valis commented 1 month ago

After generating missing clauses in the following code, unnecessary and incorrect \import is added:

\import Data.List

\func foo (x : Nat) : Nat