all options
stretch  ] [  buster  ] [  sid  ]
[ Source: haskell-cryptol  ]

Package: libghc-cryptol-doc (2.6.0-3)

Links for libghc-cryptol-doc

Screenshot

Debian Resources:

Download Source Package haskell-cryptol:

Maintainers:

External Resources:

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

  • depends
  • recommends
  • suggests
  • enhances

Download libghc-cryptol-doc

Download for all available architectures
Architecture Package Size Installed Size Files
all 938.5 kB21,693.0 kB [list of files]