cryptol-3.0.0: Cryptol: The Language of Cryptography

Copyright | (c) 2013-2016 Galois Inc.
License | BSD3
Maintainer | cryptol@galois.com
Stability | provisional
Portability | portable
Safe Haskell | Safe-Inferred
Language | Haskell2010

Cryptol.Version

Description

# Documentation

commitHash :: String Source #

commitShortHash :: String Source #

commitBranch :: String Source #

commitDirty :: Bool Source #

version :: Version Source #

displayVersion :: Monad m => (String -> m ()) -> m () Source #