How to Install cryptol on Mac using Brew

Package Information:

Name: cryptol
Use: Cryptol is a domain-specific language for specifying cryptographic algorithms
URL: http://www.cryptol.net/

Installation Steps:

1. Open Terminal.
2. Run the following command
   

   ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)" < /dev/null 2> /dev/null

3. Install cryptol using brew

   brew install cryptol

cryptol is ready to use now!