| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-01-14 | Support custom backward derivative attribute. (#2594) | Yong He |
| 2022-11-30 | Fix missing semantic highlighting in attributes and ExtractExitentialValueExp... | Yong He |
| 2022-11-21 | Improve parser recovery around invalid function definitions. (#2525) | Yong He |
| 2022-11-01 | Make `DifferentialPair` able to nest. (#2477) | Yong He |
| 2022-10-28 | Fix language server crash on incomplete higher order invoke expr. (#2476) | Yong He |
| 2022-06-30 | Language server: extract documentation from ordinary comments (#2308) | Yong He |
| 2022-06-27 | Language server fixes and improvements (#2304) | Yong He |
| 2022-06-23 | Define proper diagnostic item for two common "unimplemented" cases. (#2296) | Yong He |
| 2022-06-22 | More Language Server Improvements. (#2289) | Yong He |
| 2022-06-13 | Follow up on Language Server Improvement (#2275) | Yong He |
| 2022-06-13 | Language Server improvements. (#2269) | Yong He |
| 2022-06-08 | Add smoke test for language server. (#2266) | Yong He |
