cryptol-2.9.1: Cryptol: The Language of Cryptography

Copyright(c) 2013-2016 Galois Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

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 #