Copyright | (c) 2010 Simon Meier |
---|---|
License | GPL v3 (see LICENSE) |
Maintainer | Simon Meier <iridcode@gmail.com> |
Portability | GHC only |
Safe Haskell | Safe |
Language | Haskell98 |
Control.Basics
Description
Re-export basic control structures for easier imports.
tamarin-prover-utils-1.2.2: Utility library for the tamarin prover.
Copyright | (c) 2010 Simon Meier |
---|---|
License | GPL v3 (see LICENSE) |
Maintainer | Simon Meier <iridcode@gmail.com> |
Portability | GHC only |
Safe Haskell | Safe |
Language | Haskell98 |
Control.Basics
Description
Re-export basic control structures for easier imports.