| 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.