Paket: libghc-sbv-doc (8.7-1)

Länkar för libghc-sbv-doc

Debianresurser:

Hämta källkodspaketet haskell-sbv:

Ansvariga:

Debian Haskell Group (QA-sida, E-postarkiv)
Clint Adams (QA-sida)

Externa resurser:

Hemsida [leventerkok.github.com]

Liknande paket:

symbolic Haskell theorem prover using SMT solving; documentation

Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers.

This package provides the documentation for a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

Andra paket besläktade med libghc-sbv-doc

beror

rekommenderar

föreslår

enhances

dep: haddock-interface-35

virtuellt paket som tillhandahålls av ghc

rec: libghc-generic-deriving-doc

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

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

JavaScript display engine for LaTeX and MathML

Hämta libghc-sbv-doc

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
all	1.606,3 kbyte	36.448,0 kbyte	[filförteckning]