@hackage cryptol2.7.0
Cryptol: The Language of Cryptography
Installation
Dependencies (26)
- GraphSCC >=1.0.4
- array >=0.4
- base >=4.8 && <4.13
- base-compat >=0.6 && <0.11
- bytestring >=0.10
- containers >=0.5 Show all…
Dependents (1)
@hackage/acme-everything
Package Flags
static
(off by default)
Create a statically-linked binary
relocatable
(on by default)
Don't use the Cabal-provided data directory for looking up Cryptol libraries. This is useful when the data directory can't be known ahead of time, like for a relocatable distribution.
Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language. For more, see http://www.cryptol.net/.