Maintainer | Benedikt Schmidt <beschmi@gmail.com> |
---|---|
Safe Haskell | Safe-Infered |
Term.Builtin.Convenience
Description
Convenience abbreviations, mostly used for testing and debugging.
tamarin-prover-term-0.8.0.0: Term manipulation library for the tamarin prover.
Maintainer | Benedikt Schmidt <beschmi@gmail.com> |
---|---|
Safe Haskell | Safe-Infered |
Term.Builtin.Convenience
Description
Convenience abbreviations, mostly used for testing and debugging.