JetBrains / Arend

The Arend Proof Assistant
https://arend-lang.github.io/
Apache License 2.0
694 stars 33 forks source link

Add `length` field to `SourcePosition` #248

Closed ice1000 closed 4 years ago

ice1000 commented 4 years ago

Needed by the language server