Cmm is the intermediate representation and code generation layer used by the Glasgow Haskell Compiler (GHC). It is written in Haskell and sits...
Implement Signature Help for Haskell Language Server
linj
Haskell language server (HLS) implements the server part of Language Server Protocol (LSP) to improve user experience of reading and writing Haskell....
Language Server Support for cabal.project Files
Rachel M
This project proposes to implement a new plugin for the Haskell Language Server (HLS) that adds full IDE-style support for cabal.project files. This...
Qualified Imports and Alias Resolution in Liquid Haskell
Xavier Góngora
This proposal aims to enhance Liquid Haskell’s name resolution mechanism by enabling qualified imports for both (logic) type and predicate aliases....