Package: libghc-sbv-doc (7.12-2)

Links for libghc-sbv-doc

Debian Resources:

Download Source Package haskell-sbv:

Maintainers:

External Resources:

Homepage [leventerkok.github.com]

Similar packages:

Symbolsk Haskell-teoribeviser der bruger SMT-løsning - dokumentation

Udtryk egenskaber om Haskell-programmer og bevis dem automatisk via SMT-løsere (Satisfiability Modulo Theories).

Denne pakke tilbyder dokumentationen for et bibliotek til programmeringssproget Haskell. Se http://www.haskell.org/ for yderligere information om Haskell.

Other Packages Related to libghc-sbv-doc

depends

recommends

suggests

enhances

dep: haddock-interface-33

virtual package provided by ghc

rec: ghc-doc

Dokumentation for Glasgow Haskell Compilation-systemet
rec: libghc-generic-deriving-doc

generic programming library for generalised deriving; documentation
rec: libghc-quickcheck2-doc

Haskell automatic testing library for GHC; documentation
rec: libghc-random-doc

Random number generator for Haskell; documentation
rec: libjs-mathjax

JavaScript-visningsmotor for LaTeX og MathML

Download libghc-sbv-doc

Download for all available architectures
Architecture	Package Size	Installed Size	Files
all	962.5 kB	19,513.0 kB	[list of files]