From Fedora Project Wiki

(dependent types)
mNo edit summary
Line 31: Line 31:
* [https://xmonad.org xmonad] window manager and [https://github.com/jaor/xmobar xmobar]
* [https://xmonad.org xmonad] window manager and [https://github.com/jaor/xmobar xmobar]
* [https://shakebuild.com shake] buildsystem
* [https://shakebuild.com shake] buildsystem
* Dependently typed programming languages: [https://www.idris-lang.org idris] and [http://wiki.portal.chalmers.se/agda/pmwiki.php Agda] proof assistant
* [http://wiki.portal.chalmers.se/agda/pmwiki.php Agda] proof assistant (and the [https://www.idris-lang.org idris] dependently typed programming language)


= Upstream package repo =
= Upstream package repo =

Revision as of 04:11, 27 June 2018

What is Haskell?

"Haskell is an advanced purely functional programming language. The product of more than twenty years of cutting edge research, it allows rapid development of robust, concise, correct software. With strong support for integration with other languages, built-in concurrency, debuggers, profilers, rich libraries and an active community, Haskell makes it easier to produce flexible, maintainable high-quality software." -- (from http://haskell.org/)

For more information about Haskell support in Fedora, go to Haskell_SIG.

Getting started with Haskell on Fedora

Minimally

   sudo dnf install ghc cabal-install

More

   sudo dnf install haskell-platform

All devel packages

   sudo dnf install ghc-*devel

For auto-packaging and dnf integration:

   sudo dnf install cabal-rpm

The stack build tool is available in a Copr repo.

Haskell software in Fedora

Upstream package repo

Much more software can be found in upstream community Hackage repository and its downstream distribution Stackage.