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

Links for libghc-sbv-doc

Debian Resources:

Download Source Package haskell-sbv:

Maintainers:

External Resources:

Homepage [leventerkok.github.io]

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-42

virtual package provided by ghc

rec: ghc-doc

Dokumentation for Glasgow Haskell Compilation-systemet
rec: libghc-async-doc

run IO operations asynchronously and wait for their results; documentation
rec: libghc-libbf-doc

Binding til libBF-biblioteket - dokumentation
rec: libghc-quickcheck2-doc

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

Vilkårlig talopretter for Haskell - dokumentation
rec: libghc-sbv-dev

Symbolsk Haskell-teoribeviser der bruger SMT-løsning
rec: libghc-syb-doc

Generic programming library for Haskell; documentation
rec: libghc-uniplate-doc

Documentation for uniform type generic traversals; documentation
rec: libjs-mathjax

JavaScript-visningsmotor for LaTeX og MathML

sug: libghc-sbv-prof

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

Download libghc-sbv-doc

Download for all available architectures
Architecture	Package Size	Installed Size	Files
all	1,949.3 kB	50,908.0 kB	[list of files]