Discussions related to the programming language Haskell and all of its dialects and extensions: Haskell, Liquid Haskell, Agda, Idris, PureScript, and more...