Binary package “libghc-cryptol-dev” in ubuntu bionic
domain-specific language of cryptography
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.
.
This package provides a library for the Haskell programming language.
See http://