Install libghc-cryptol-doc by entering the following commands in the terminal:
sudo apt update sudo apt install libghc-cryptol-doc
Description:
domain-specific language of cryptography; documentation
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 the documentation for a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
Homepage: http://www.cryptol.net/
Version: 2.4.0-3
Section: universe/doc