| Portability | GHC only |
|---|---|
| Maintainer | Simon Meier <iridcode@gmail.com> |
| Safe Haskell | None |
Theory.Model
Description
Security protocol model.
Documentation
module Term.Unification
module Theory.Model.Atom
module Theory.Model.Fact
module Theory.Model.Formula
module Theory.Model.Rule
module Theory.Model.Signature