Apply some suggestions from IntelliJ IDEA - Githubissues

JetBrains / Arend

The Arend Proof Assistant

https://arend-lang.github.io/

Apache License 2.0

694 stars 33 forks source link

Apply some suggestions from IntelliJ IDEA #206

Closed ice1000 closed 4 years ago

ice1000 commented 4 years ago

As title

ice1000 commented 4 years ago

This was created by a mistake, sorry