search

JetBrains / intellij-arend

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

Need 2023.3 support! #442

Closed ice1000 closed 11 months ago

ice1000 commented 11 months ago

Please! <3