Skip to content

Issues: RedPRL/asai

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

18 Open 63 Closed
18 Open 63 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Generalized "positions"?
#169 opened Oct 21, 2024 by mikeshulman
8
🔡 Update links to Unicode standard
#165 opened Oct 20, 2024 by favonia
📄 Licensing of LSP server derived from Asai LSP
#163 opened Oct 18, 2024 by kentookura
1
🔍 Looking up ranges in structured data
#162 opened Oct 16, 2024 by kentookura
📍 Generalize Range.eof to arbitrary positions
#161 opened Oct 14, 2024 by favonia
5
🔀 Filtering/ordering the reported diagnostcs
#160 opened Oct 14, 2024 by kentookura
7
🖥️ Document DEC mode 2027
#155 opened Sep 27, 2024 by favonia
🔤 Use OCaml 5.3 effect syntax
#154 opened Sep 27, 2024 by favonia
🇱 Check the message tree to explore errors in Lean 4
#152 opened Aug 19, 2024 by favonia
🧵 Helper functions to support error reporting from multiple threads enhancement New feature or request
#151 opened Aug 19, 2024 by favonia
🖨️ A more flexible API to specify output target design is needed
#150 opened Aug 7, 2024 by kentookura
9
✅ Add tests for the new functions in UserContent
#148 opened Nov 16, 2023 by favonia 0.4.0
📚 Investigate and maybe document how "Info" and "Hint" are used in editors
#146 opened Nov 14, 2023 by favonia far away
🎨 Option to highligh text without ANSI control sequences good first issue Good for newcomers
#131 opened Oct 31, 2023 by favonia far away
11
💅 Implement a handler based on grace enhancement New feature or request
#107 opened Oct 18, 2023 by favonia far away
8
Current LSP backend is not compositional help wanted Extra attention is needed lsp
#42 opened Aug 30, 2023 by favonia far away
Debugging support question Further information is requested
#38 opened Jun 7, 2023 by favonia far away
1
1
🖥️ Add example configurations for LSP servers documentation Improvements or additions to documentation lsp
#1 opened Jul 14, 2022 by TOTBWF far away
7
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.