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 70 Closed
18 Open 70 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

Naming in range.ml design is needed documentation Improvements or additions to documentation
#187 opened Nov 2, 2024 by mikeshulman
1
🔣 A domain-specific language with handler combinators
#186 opened Nov 1, 2024 by favonia
4
⏳ Buffering handler for accumulating diagnostics
#185 opened Oct 31, 2024 by favonia
2
🅱️ Fallback when file reading fails
#179 opened Oct 30, 2024 by favonia
🌎 Generalized "positions"?
#169 opened Oct 21, 2024 by mikeshulman 0.4.0
1
10
🔍 Looking up ranges in structured data
#162 opened Oct 16, 2024 by kentookura
🔇 Suppress diagnostics caused by already reported errors
#160 opened Oct 14, 2024 by kentookura
11
🖥️ 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 String_utils
#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
💅 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 design is needed help wanted Extra attention is needed lsp
#42 opened Aug 30, 2023 by favonia far away
4
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! Exclude everything labeled bug with -label:bug.