aya-dev icon indicating copy to clipboard operation
aya-dev copied to clipboard

Published 20 hours ago • verified publisher icon aya-prover

Add more tests about LSP

Open imkiva opened this issue 3 years ago • 3 comments

  • Highlights
  • References
  • Compute term/type

imkiva avatar Jul 17 '22 07:07 imkiva

Is this done

ice1000 avatar Nov 18 '22 05:11 ice1000

No

imkiva avatar Nov 18 '22 05:11 imkiva

We need automated tests, which require a test framework like rust-analyzer

imkiva avatar Nov 18 '22 05:11 imkiva