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

PortabilityGHC only
MaintainerSimon Meier <iridcode@gmail.com>
Safe HaskellSafe-Inferred

Control.Basics

Description

Re-export basic control structures for easier imports.