Package: libghc-cryptol-doc (2.8.0-1)
Links for libghc-cryptol-doc
Debian Resources:
Download Source Package haskell-cryptol:
- [haskell-cryptol_2.8.0-1.dsc]
- [haskell-cryptol_2.8.0.orig.tar.gz]
- [haskell-cryptol_2.8.0-1.debian.tar.xz]
Maintainers:
External Resources:
- Homepage [www.cryptol.net]
Similar packages:
linguaggio di crittografia specifico di dominio; documentazione
Cryptol è un linguaggio specifico di dominio per specificare algoritmi crittografici. L'implementazione di un algoritmo in Cryptol assomiglia più da vicino alla sua specifica matematica di quanto non faccia un'implementazione in un linguaggio di uso universale.
Questo pacchetto fornisce la documentazione per una libreria per il linguaggio di programmazione Haskell. Per maggiori informazioni su Haskell si veda http://www.haskell.org/.
Other Packages Related to libghc-cryptol-doc
|
|
|
|
-
- dep: haddock-interface-35
- virtual package provided by ghc
-
- rec: libghc-base-compat-doc
- livello di compatibilità per base; documentazione
-
- rec: libghc-monad-control-doc
- Monad transformers to lift control operations; documentation
-
- rec: libghc-monadlib-doc
- raccolta di trasformatori di monadi; documentazione
-
- rec: libghc-panic-doc
- modo comodo di andare in panico; documentazione
-
- rec: libghc-random-doc
- generatore di numeri casuali per Haskell; documentazione
-
- rec: libghc-sbv-doc
- symbolic Haskell theorem prover using SMT solving; documentation
-
- rec: libghc-transformers-base-doc
- lift computations from the bottom of a transformer stack; documentation
-
- rec: libjs-mathjax
- motore di visualizzazione JavaScript per LaTeX e MathML
Download libghc-cryptol-doc
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
all | 1,209.7 kB | 28,883.0 kB | [list of files] |