Binary package “libghc-cryptol-prof” in ubuntu bionic
domain-specific language of cryptography; profiling libraries
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, compiled
for profiling. See http://