... | ... | @@ -73,4 +73,11 @@ In preparation for that, the updated Api Annotations would be defined in a posit |
|
|
This will probably be based on the approach currently taken in `Coda`[(4)](implementing-trees-that-grow/ide-support#).
|
|
|
|
|
|
(3)[ https://github.com/haskell/haskell-ide-engine](https://github.com/haskell/haskell-ide-engine)
|
|
|
(4)[ https://github.com/ekmett/coda](https://github.com/ekmett/coda) |
|
|
\ No newline at end of file |
|
|
(4)[ https://github.com/ekmett/coda](https://github.com/ekmett/coda)
|
|
|
|
|
|
## Even Longer Term
|
|
|
|
|
|
|
|
|
Incremental renaming and type checking. See related work at [(1)](implementing-trees-that-grow/ide-support#)
|
|
|
|
|
|
(1)[ https://arxiv.org/pdf/1805.00155.pdf](https://arxiv.org/pdf/1805.00155.pdf) |
|
|
\ No newline at end of file |