Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ice1000/arend-language-server issues and pull requests
#4 - Support for showing up type/error information without hovering the mouse
Issue -
State: open - Opened by freedan42x over 4 years ago
Labels: enhancement
#3 - Proper type hole highlighting
Issue -
State: open - Opened by freedan42x over 4 years ago
- 2 comments
Labels: enhancement
#2 - Shadowed names are not removed from context
Issue -
State: open - Opened by freedan42x over 4 years ago
Labels: enhancement
#1 - Support for case-splitting in pattern matching
Issue -
State: open - Opened by freedan42x over 4 years ago
Labels: enhancement