GitHub / haskell/haskell-ide-engine issues and pull requests
#3 - Use Idris's protocol?
Issue -
State: closed - Opened by mgsloan almost 10 years ago
- 5 comments
Labels: type: discussion
#2 - Decide on matching an existing IDE protocol or designing a new one
Issue -
State: closed - Opened by mgsloan almost 10 years ago
- 27 comments
Labels: type: discussion
#1 - Do plugins the same way as GHC
Issue -
State: closed - Opened by mgsloan almost 10 years ago
- 16 comments