phinze/homebrew-cask — pull request #4046 by ndr-qef (2014-04-25 21:39:18+00:00)
Title: Add Cryptol

Cryptol is a Haskell DSL for crypto work.