Portability | GHC only |
---|---|
Maintainer | Simon Meier <iridcode@gmail.com> |
Safe Haskell | None |
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