Maintainer | Benedikt Schmidt <beschmi@gmail.com> |
---|---|
Safe Haskell | Safe-Infered |
Term.UnitTests
Description
Unit tests for the functions dealing with term algebra and related notions.
tamarin-prover-term-0.8.0.0: Term manipulation library for the tamarin prover.