tamarin-prover-utils-1.2.2: Utility library for the tamarin prover.

Copyright(c) 2010 Simon Meier
LicenseGPL v3 (see LICENSE)
MaintainerSimon Meier <iridcode@gmail.com>
PortabilityGHC only
Safe HaskellSafe
LanguageHaskell98

Control.Basics

Description

Re-export basic control structures for easier imports.

Documentation